Revision as of 19:11, 8 February 2006 edit DNewhall (talk \| contribs) Extended confirmed users 4,437 edits Removed disambiguation stuff. ← Previous edit		Revision as of 23:12, 28 February 2006 edit undo Pretzelpaws (talk \| contribs) Extended confirmed users 2,170 edits m fix Maude link Next edit →
Line 6: A family of [[declarative programming\|declarative]] "ultra high-level" languages. [[abstract data type\|Abstract types]], [[generic module\|generic modules]], [[subsort\|subsorts]] (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]]). For the massively parallel RRM ([[Rewrite Rule Machine]]). Important members of the OBJ family of languages include [[CafeOBJ]], [[Eqlog]], [[FOOPS]], [[Kumo (OBJ)\|Kumo]], [[Maude ~~(OBJ)~~system\|Maude]] and [[OBJ3]]. ==See also==

OBJ (programming language): Difference between revisions