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 (user control over laziness), module expressions (for combining modules), theories and views. For the massively parallel RRM. Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3.

PropertyValue
dbpprop:abstract
  • 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 (user control over laziness), module expressions (for combining modules), theories and views. For the massively parallel RRM. Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs: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, pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views. For the massively parallel RRM. Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3.
rdfs:label
  • OBJ
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is owl:sameAs of