OBJ (programming language): Difference between revisions

Revision as of 12:59, 10 April 2019

Revision as of 12:20, 19 May 2019

Line 1:

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

==Overview==

It is a family of [[declarative programming|declarative]] "ultra high-level" languages. It features [[Abstract 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) for the massively parallel RRM ([[rewrite rule machine]]).