OBJ (programming language): Difference between revisions

Revision as of 17:50, 2 May 2020

Latest revision as of 16:21, 6 August 2025

(9 intermediate revisions by 7 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-->==

'''OBJ2''' is a [[programming language]] with [[Clear (specification language)|Clear]]-like parametrised modules and a functional system based on equations.

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

Line 11 ⟶ 15:

==See also==

* [[Automated theorem proving]]

* [[Comparison of programming languages]]

* [[Formal methods]]

==References==

{{Reflist}}

* J. A. Goguen, [http://cseweb.ucsd.edu/~goguen/pps/utyop.ps Higher-Order Functions Considered Unnecessary for Higher-Order Programming]. In ''Research Topics in Functional Programming'' (June 1990). pp. 309–351.

*Goguen, Joseph A., et al. "Introducing obj." Software Engineering with OBJ. Springer, Boston, MA, 2000. 3-167.

*"Principles of OBJ2", K. Futatsugi et al., 12th POPL, ACM 1985, pp.&nbsp;52–66.

* {{FOLDOC}}

* {{citation |last1=J. A. Goguen |last2=T. Winkler |last3=J. Meseguer |last4=K. Futatsugi |last5=J.-P. Jouannaud |chapter=Introducing OBJ | title=Software Engineering with OBJ: Algebraic Specification in Action |editor-last1=J. A. Goguen |editor-last2=G. Malcolm |date=2000 |publisher=Springer Science+Business Media, New York, NY |pages=3–167 |isbn=978-1-4757-6541-0}}

==External links==

*[https://web.archive.org/web/20051028140059/http://vl.fmnet.info/obj/ The OBJ archive]

*[httphttps://www.cscseweb.ucsd.edu/users/~goguen/sys/obj.html The OBJ family]

*[httphttps://www-cse.ucsd.edu/users/~goguen/pps/iobj.ps Information and OBJ3 manual], [[PostScript]] format

[[Category:Academic programming languages]]

Line 29 ⟶ 35:

[[Category:Theorem proving software systems]]

[[Category:Term-rewriting programming languages]]

{{compu-lang-stub}}