Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Baby_modula-3> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items 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 wikiPageRevisionID "599943507".
- Baby_modula-3 hasPhotoCollection Baby_modula-3.
- 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 type ProgrammingLanguage.
- Baby_modula-3 type Software.
- Baby_modula-3 type Work.
- Baby_modula-3 type CreativeWork.
- Baby_modula-3 type InformationEntity.
- 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=599943507.
- Baby_modula-3 isPrimaryTopicOf Baby_modula-3.