OBJ (programming language): Difference between revisions

Revision as of 21:48, 30 June 2006

Revision as of 11:31, 21 October 2006

Line 1:

:''Obj or OBJ can also refer to computer [[Object file|Object files]]s or the [[Obj|.obj file format]].''

'''OBJ''' is a [[programming language]] family introduced by [[Joseph Goguen]] in [[1976]].

A family of [[declarative programming|declarative]] "ultra high-level" languages. [[abstract data type|Abstract types]], [[generic module|generic modules]]s, [[subsort|subsorts]]s (subtypes with [[multiple inheritance]]), [[pattern matching|pattern-matching]] modulo equations, E-strategies (user control over [[lazy evaluation|laziness]]), module expressions (for combining modules), theories and views (for describing [[module interface|module interfaces]]s). For the massively parallel RRM ([[Rewrite Rule Machine]]).

Important members of the OBJ family of languages include [[CafeOBJ]], [[Eqlog]], [[FOOPS]], [[Kumo (OBJ)|Kumo]], [[Maude system|Maude]] and [[OBJ3]].

Line 30:

[[Category:Specification languages]]

[[Category:Theorem provers]]

{{compu-lang-stub}}