OBJ (programming language)
OBJ can refer to:
- Object files generated by a compiler, and later assembled into program files using a linker
- The geometry definition file format obj
- A programming language (see below)
If an internal link led you here, you may wish to change the link to point directly to the intended article.
OBJ is a programming language family introduced by Joseph Goguen in 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).
Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3.
See also
Reference
- Higher-Order Functions Considered Unnecessary for Higher-Order Programming, J.A. Goguen, in Research Topics in Functional Programming.
External links
This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |
 | This software article is a stub. You can help Wikipedia by expanding it. |