OBJ is a 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...
- the OBJ wikipedia page
- OBJ first appeared in 1976
- Have a question about OBJ not answered here? Email me and let me know how I can help.
Last updated August 9th, 2020