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 Martin Abadi. It is a language for studying object oriented design in computer sciences. It was not implemented. Martin 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."

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.