Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Baby Modula-3 is a subset of the Modula-3 programming language invented by Martín Abadi. It is a language for studying object oriented design in computer sciences. It was not implemented. Martín Abadi tried to give an example of an 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."
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 96 pp. Englisch. Codice articolo 9786133146389
Quantità: 2 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Baby Modula-3 isa subset of the Modula-3 programming language invented by Martín Abadi.It is a language for studying object oriented design in computersciences. It was not implemented. Martín Abadi tried to give an exampleof an object-oriented language which would allow the studying of formalsemantics of objects. 'Baby Modula-3 is defined with a structuredoperational semantics and with a set of static type rules. Adenotational semantics guarantees the soundness of this definition.'VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 96 pp. Englisch. Codice articolo 9786133146389
Quantità: 1 disponibili
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Codice articolo 9786133146389
Quantità: 1 disponibili