Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Baby_modula-3> ?p ?o }
Showing triples 1 to 68 of
68
with 100 triples per page.
- Baby_modula-3 abstract "Baby Modula-3 is a functional programming sublanguage of Modula-3 (safe subset) programming language based on ideals invented by Martín Abadi. It is an object oriented language for studying programming language design; one part of it is implicitly prototype-oriented programming language, and the other is explicitly statically typed designed for studying computer science type theories. It has been checked as a formal language of metaprogramming systems. It comes from the "Scandinavian School" of object-oriented programming languages. Martín Abadi tried to give an example of pure object-oriented language which would allow the studying of formal semantics of objects. "Baby Modula-3 is defined with a structured operational semantics and with a set of static type rules. A denotational semantics guarantees the soundness of this definition."This object model has been shown to have well definiteness decidability (a mechanical proof of it isn't known). The inventor of Baby Modula-3 worked at Systems Research Center (SRC) of Digital Equipment Corporation (DEC) in Palo Alto, California. As DEC was bought by Compaq and Compaq itself was bought by Hewlett-Packard the SRC-report 95 was made available to the public by HP.".
- Baby_modula-3 wikiPageExternalLink res.ps.
- Baby_modula-3 wikiPageID "13603363".
- Baby_modula-3 wikiPageLength "4070".
- Baby_modula-3 wikiPageOutDegree "29".
- Baby_modula-3 wikiPageRevisionID "666637609".
- Baby_modula-3 wikiPageWikiLink Ada_(programming_language).
- Baby_modula-3 wikiPageWikiLink C_(programming_language).
- Baby_modula-3 wikiPageWikiLink California.
- Baby_modula-3 wikiPageWikiLink Category:Modula_programming_language_family.
- Baby_modula-3 wikiPageWikiLink Category:Programming_language_design.
- Baby_modula-3 wikiPageWikiLink Category:Prototype-based_programming_languages.
- Baby_modula-3 wikiPageWikiLink Compaq.
- Baby_modula-3 wikiPageWikiLink Computer_science.
- Baby_modula-3 wikiPageWikiLink DEC_Systems_Research_Center.
- Baby_modula-3 wikiPageWikiLink Denotational_semantics.
- Baby_modula-3 wikiPageWikiLink Digital_Equipment_Corporation.
- Baby_modula-3 wikiPageWikiLink Functional_programming.
- Baby_modula-3 wikiPageWikiLink Functional_programming_language.
- Baby_modula-3 wikiPageWikiLink Hewlett-Packard.
- Baby_modula-3 wikiPageWikiLink Ideal_(set_theory).
- Baby_modula-3 wikiPageWikiLink Luca_Cardelli.
- Baby_modula-3 wikiPageWikiLink Martín_Abadi.
- Baby_modula-3 wikiPageWikiLink Metaprogramming.
- Baby_modula-3 wikiPageWikiLink Modula-3.
- Baby_modula-3 wikiPageWikiLink Object-oriented_programming.
- Baby_modula-3 wikiPageWikiLink Object-oriented_programming_language.
- Baby_modula-3 wikiPageWikiLink Object_oriented_language.
- Baby_modula-3 wikiPageWikiLink Operational_semantics.
- Baby_modula-3 wikiPageWikiLink Palo_Alto,_California.
- Baby_modula-3 wikiPageWikiLink Programming_language.
- Baby_modula-3 wikiPageWikiLink Programming_language_design.
- Baby_modula-3 wikiPageWikiLink Prototype-based_programming.
- Baby_modula-3 wikiPageWikiLink Prototype-based_programming_language.
- Baby_modula-3 wikiPageWikiLink Semantics_(computer_science).
- Baby_modula-3 wikiPageWikiLink Semantics_of_programming_languages.
- Baby_modula-3 wikiPageWikiLink Sublanguage.
- Baby_modula-3 wikiPageWikiLink This_(computer_programming).
- Baby_modula-3 wikiPageWikiLink Type_theory.
- Baby_modula-3 wikiPageWikiLinkText "Baby modula-3".
- Baby_modula-3 hasPhotoCollection Baby_modula-3.
- Baby_modula-3 wikiPageUsesTemplate Template:Citation.
- Baby_modula-3 wikiPageUsesTemplate Template:Compu-lang-stub.
- Baby_modula-3 wikiPageUsesTemplate Template:Multiple_issues.
- Baby_modula-3 wikiPageUsesTemplate Template:Reflist.
- Baby_modula-3 subject Category:Modula_programming_language_family.
- Baby_modula-3 subject Category:Programming_language_design.
- Baby_modula-3 subject Category:Prototype-based_programming_languages.
- Baby_modula-3 hypernym Sublanguage.
- Baby_modula-3 type Article.
- Baby_modula-3 type Language.
- Baby_modula-3 type ProgrammingLanguage.
- Baby_modula-3 type Software.
- Baby_modula-3 type Work.
- Baby_modula-3 type Article.
- Baby_modula-3 type Language.
- Baby_modula-3 type CreativeWork.
- Baby_modula-3 type Thing.
- Baby_modula-3 type Q386724.
- Baby_modula-3 type Q7397.
- Baby_modula-3 type Q9143.
- Baby_modula-3 comment "Baby Modula-3 is a functional programming sublanguage of Modula-3 (safe subset) programming language based on ideals invented by Martín Abadi. It is an object oriented language for studying programming language design; one part of it is implicitly prototype-oriented programming language, and the other is explicitly statically typed designed for studying computer science type theories. It has been checked as a formal language of metaprogramming systems.".
- Baby_modula-3 label "Baby modula-3".
- Baby_modula-3 sameAs m.03cbl66.
- Baby_modula-3 sameAs Q4838445.
- Baby_modula-3 sameAs Q4838445.
- Baby_modula-3 wasDerivedFrom Baby_modula-3?oldid=666637609.
- Baby_modula-3 isPrimaryTopicOf Baby_modula-3.