OBJ (programming language): Difference between revisions

Revision as of 13:28, 30 May 2016

Revision as of 23:39, 5 December 2016

Line 1:

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

AIt is a family of [[declarative programming|declarative]] "ultra high-level" languages. It features [[abstractAbstract data type|Abstract types]], [[generic module]]s, [[subsort]]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]]s). Forfor 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]].