OBJ (programming language): Difference between revisions

Revision as of 20:54, 25 December 2016

Revision as of 10:57, 26 May 2017

Line 1:

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

It is a family of [[declarative programming|declarative]] "ultra high-level" languages. It features [[Abstract data type|Abstractabstract 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) for the massively parallel RRM ([[Rewriterewrite Rulerule Machinemachine]]).

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