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...

43Years Old 20Users 0Jobs
  • 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