Baby modula-3

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." [ [http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-95.html SRC-RR-95 Baby Modula-3 and a theory of objects. - Martin Abadi.] ]

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.

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.

References