Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/OBJ_(programming_language)> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples 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) wikiPageLength "1362".
- OBJ_(programming_language) wikiPageOutDegree "24".
- OBJ_(programming_language) wikiPageRevisionID "648166716".
- OBJ_(programming_language) wikiPageWikiLink Abstract_data_type.
- OBJ_(programming_language) wikiPageWikiLink Automated_theorem_proving.
- OBJ_(programming_language) wikiPageWikiLink CafeOBJ.
- OBJ_(programming_language) wikiPageWikiLink Category:Academic_programming_languages.
- OBJ_(programming_language) wikiPageWikiLink Category:Formal_specification_languages.
- OBJ_(programming_language) wikiPageWikiLink Category:Functional_languages.
- OBJ_(programming_language) wikiPageWikiLink Category:Logic_in_computer_science.
- OBJ_(programming_language) wikiPageWikiLink Category:Theorem_proving_software_systems.
- OBJ_(programming_language) wikiPageWikiLink Declarative_programming.
- OBJ_(programming_language) wikiPageWikiLink Eqlog.
- OBJ_(programming_language) wikiPageWikiLink FOOPS.
- OBJ_(programming_language) wikiPageWikiLink Formal_methods.
- OBJ_(programming_language) wikiPageWikiLink Generic_module.
- OBJ_(programming_language) wikiPageWikiLink Joseph_Goguen.
- OBJ_(programming_language) wikiPageWikiLink Kumo_(OBJ).
- OBJ_(programming_language) wikiPageWikiLink Lazy_evaluation.
- OBJ_(programming_language) wikiPageWikiLink Maude_system.
- OBJ_(programming_language) wikiPageWikiLink Module_interface.
- OBJ_(programming_language) wikiPageWikiLink Multiple_inheritance.
- OBJ_(programming_language) wikiPageWikiLink OBJ3.
- OBJ_(programming_language) wikiPageWikiLink Pattern_matching.
- OBJ_(programming_language) wikiPageWikiLink Programming_language.
- OBJ_(programming_language) wikiPageWikiLink Rewrite_Rule_Machine.
- OBJ_(programming_language) wikiPageWikiLink Subsort.
- OBJ_(programming_language) wikiPageWikiLinkText "OBJ (programming language)".
- OBJ_(programming_language) wikiPageWikiLinkText "OBJ language".
- OBJ_(programming_language) wikiPageWikiLinkText "OBJ programming language".
- OBJ_(programming_language) wikiPageWikiLinkText "OBJ".
- OBJ_(programming_language) hasPhotoCollection OBJ_(programming_language).
- OBJ_(programming_language) wikiPageUsesTemplate Template:Compu-lang-stub.
- OBJ_(programming_language) wikiPageUsesTemplate Template:FOLDOC.
- 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) hypernym Family.
- OBJ_(programming_language) type ProgrammingLanguage.
- OBJ_(programming_language) type Software.
- OBJ_(programming_language) type Work.
- OBJ_(programming_language) type CreativeWork.
- OBJ_(programming_language) type Thing.
- OBJ_(programming_language) type Q386724.
- OBJ_(programming_language) type Q7397.
- OBJ_(programming_language) type Q9143.
- 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 OBJ_(мова_програмування).
- OBJ_(programming_language) sameAs Q7072323.
- OBJ_(programming_language) sameAs Q7072323.
- OBJ_(programming_language) wasDerivedFrom OBJ_(programming_language)?oldid=648166716.
- OBJ_(programming_language) isPrimaryTopicOf OBJ_(programming_language).