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 stu ...Täielik kirjeldus
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."