Definitions for OBJ
This page provides all possible meanings and translations of the word OBJ
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.
Find a translation for the OBJ definition in other languages:
Select another language: