OBJ (programming language): Difference between revisions

Revision as of 14:25, 25 November 2007

Revision as of 18:12, 22 March 2008

Line 1:

{{otheruses}}

'''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]]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]]).

Line 10:

* [[Automated theorem proving]]

* [[Formal methods]]

* [[Functional programming]]

==References==

Line 25 ⟶ 24:

[[Category:Functional languages]]

[[Category:Logic in computer science]]

[[Category:Programming languages]]

[[Category:Formal specification languages]]

[[Category:Theorem proving software systems]]