Obj



1.
.
2.
.
3.
.
abbreviation
1.
(grammar) object(ive)
2.
objection

Joseph Goguen 1976. A family of declarative “ultra high level” languages. Abstract types, generic modules, subsorts (subtypes with multiple inheritance), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces). For the massively parallel RRM (Rewrite Rule Machine).
[“Higher-Order Functions Considered Unnecessary for Higher-Order Programming”, J.A. Goguen, in Research Topics in Functional Programming].
1.
object
2.
objective

Tagged:

Read Also:

  • Obcompressed

    [ob-kuh m-prest] /ˌɒb kəmˈprɛst/ noun, Botany. 1. compressed or flattened in a way opposite to the usual, as back to front instead of side to side.

  • Obclavate

    [ob-kley-veyt] /ɒbˈkleɪ veɪt/ adjective 1. inversely .



  • Obc

    on board computer

  • Obj2

    Clear-like parametrised modules. A functional system based on equations. “Principles of OBJ2”, K. Futatsugi et al, 12th POPL, ACM 1985, pp.52-66.



Disclaimer: Obj definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.