Baby modula-3
From Wikipedia, the free encyclopedia
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."[1]
The inventor of Baby Modula-3 worked at Systems Research Center (SEC) 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.
[edit] Influences
Luca Cardelli and Martín Abadi wrote the book A Theory of Objects in 1997 laying out formal calculi for the semantics of object-oriented programming languages. Baby Modula-3 influenced this work according to Luca Cardelli.
