Baby modula-3
Baby Modula-3 is a functional programming sublanguage of Modula-3 (safe subset) programming language based on ideals invented by Martín Abadi. It is an object oriented language for studying programming language design; one part of it is implicitly prototype-oriented programming language, and the other is explicitly statically typed designed for studying computer science type theories. It has been checked as a formal language of metaprogramming systems.[1] It comes from the "Scandinavian School" of object-oriented programming languages.
Martín Abadi tried to give an example of pure 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 (SRC) 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[2] in 1997 laying out formal calculi for the semantics of object-oriented programming languages. Baby Modula-3 influenced this work according to Luca Cardelli,[3] and guided a calculus of the type of Self (computer programming) in Types for object and the type of 'self'.[4] It has open the way for work on Modula-3 formal semantic checking systems, for object oriented type system programming languages that have been used to model the formal semantics of programming languages such as Ada (programming language) and C (programming language) Research, retrieved 2012-03-22.
References
- ↑ 1.0 1.1 Baby Modula-3 and a theory of objects Martin Abadi. DEC Systems Research Center (SRC) Research Report 95 (February 1993)
- ↑ Abadi, Martin; Luca Cardelli (1996-08-09). A Theory of Objects (Corrected ed.). Springer. ISBN 0387947752.
- ↑ A Theory of Primitive Objects (untyped, first and second-order systems), retrieved 2012-03-29
- ↑ Society, American Mathematical (1995). Abstracts of papers presented to the American Mathematical Society. American Mathematical Society.