Matches in DBpedia 2014 for { <http://dbpedia.org/resource/OBJ_(programming_language)> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- OBJ_(programming_language) 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 (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).Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3.".
- OBJ_(programming_language) wikiPageExternalLink utyop.ps.
- OBJ_(programming_language) wikiPageExternalLink obj.
- OBJ_(programming_language) wikiPageExternalLink obj.html.
- OBJ_(programming_language) wikiPageID "1063976".
- OBJ_(programming_language) wikiPageRevisionID "591598971".
- OBJ_(programming_language) hasPhotoCollection OBJ_(programming_language).
- OBJ_(programming_language) subject Category:Academic_programming_languages.
- OBJ_(programming_language) subject Category:Formal_specification_languages.
- OBJ_(programming_language) subject Category:Functional_languages.
- OBJ_(programming_language) subject Category:Logic_in_computer_science.
- OBJ_(programming_language) subject Category:Theorem_proving_software_systems.
- OBJ_(programming_language) type Abstraction100002137.
- OBJ_(programming_language) type Communication100033020.
- OBJ_(programming_language) type FormalSpecificationLanguages.
- OBJ_(programming_language) type FunctionalLanguages.
- OBJ_(programming_language) type Language106282651.
- OBJ_(programming_language) type ProgrammingLanguage.
- OBJ_(programming_language) type Software.
- OBJ_(programming_language) type Work.
- OBJ_(programming_language) type CreativeWork.
- OBJ_(programming_language) type InformationEntity.
- 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).".
- OBJ_(programming_language) label "OBJ (programming language)".
- OBJ_(programming_language) sameAs OBJ.
- OBJ_(programming_language) sameAs m.042tm7.
- OBJ_(programming_language) sameAs Q7072323.
- OBJ_(programming_language) sameAs Q7072323.
- OBJ_(programming_language) sameAs OBJ_(programming_language).
- OBJ_(programming_language) wasDerivedFrom OBJ_(programming_language)?oldid=591598971.
- OBJ_(programming_language) isPrimaryTopicOf OBJ_(programming_language).