Revision as of 20:01, 30 November 2021 edit Kvng (talk \| contribs) Extended confirmed users, New page reviewers 115,948 edits m mv {{FOLDOC}} to talk ← Previous edit		Revision as of 15:55, 1 January 2023 edit undo Thatsme314 (talk \| contribs) Extended confirmed users 7,865 edits m →Overview: spcae Next edit →
Line 4: 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]]). 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-->==

OBJ (programming language): Difference between revisions