Baby Modula-3: Programming Language, Modula, Modula-2 - Brossura

 
9786133146389: Baby Modula-3: Programming Language, Modula, Modula-2

Sinossi

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.