1. OBJ3

2. See also

3. References

4. External links

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

It is a family of declarative "ultra high-level" languages. It features abstract types, generic modules, subsorts (subtypes with multiple inheritance), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces) for the massively parallel RRM (rewrite rule machine).

Members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3.

OBJ3

OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on Kyoto Common Lisp AKCL.

See also

• Automated theorem proving
• Formal methods

References

• J. A. Goguen, Higher-Order Functions Considered Unnecessary for Higher-Order Programming. In Research Topics in Functional Programming.

External links

• The OBJ archive
• The OBJ family
• Information and OBJ3 manual, PostScript format

• Petrine Archer Straw
• Petrine Archer-Straw
• Petrine (disambiguation)
• Petrine (Fire Emblem: Path of Radiance)
• Petrine mandate
• Petrine Primacy
• Petrine proof text
• Petrine Sonne
• Petrinet
• Petrine Theory
• Petri Net Markup Language
• Petrinets
• Petrin funicular
• Petrin Hill
• Petrinjci
• Petrinje
• Petrin Lookout Tower
• Petrin lookout tower
• Petrinum
• Petrinum Linz
• Petri Nygård
• Petri Oravainen
• Petriowene
• Petri Purho
• Petris