OBJ (programming language): Difference between revisions

Revision as of 20:01, 30 November 2021

Latest revision as of 16:21, 6 August 2025

(2 intermediate revisions by 2 users not shown)

Line 2:

==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]]).<ref name="foldoc">{{foldoc|OBJ}}</ref>

Members of the OBJ family of languages include [[CafeOBJ]], [[Eqlog]], [[FOOPS]], [[Kumo (OBJ)|Kumo]], [[Maude system|Maude]], [[OBJ2]], and [[OBJ3]]. <ref>[https://cseweb.ucsd.edu/~goguen/sys/obj.html The OBJ family]</ref>

==OBJ2<!--'OBJ2' redirects here-->==

Line 15:

==See also==

* [[Automated theorem proving]]

* [[Comparison of programming languages]]

* [[Formal methods]]

Line 34 ⟶ 35:

[[Category:Theorem proving software systems]]

[[Category:Term-rewriting programming languages]]

{{compu-lang-stub}}