OBJ is a historical programming language created in 1976. 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). Read more on Wikipedia...
- OBJ ranks in the top 50% of languages
- the OBJ wikipedia page
- OBJ first appeared in 1976
- I have 24 facts about OBJ. what would you like to know? email me and let me know how I can help.
Last updated November 14th, 2019