Matches in DBpedia 2014 for { ?s ?p 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 (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).. }
Showing items 1 to 1 of
1
with 100 items per page.
- OBJ_(programming_language) comment "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 (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).".