This page provides all possible meanings and translations of the word obj
WiktionaryRate this definition:(0.00 / 0 votes)
FreebaseRate this definition:(0.00 / 0 votes)
OBJ is a programming language family introduced by Joseph Goguen in 1976.
A family of declarative "ultra high-level" languages. Abstract types, generic modules, subsorts, pattern-matching modulo equations, E-strategies, module expressions, theories and views. For the massively parallel RRM.
Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3.