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
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.
- Obj3
language A version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. E-mail: , . [“Introducing OBJ3”, J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988]. (1995-03-16)