Baby Modula-3

{{Multiple issues|

{{notability|date=October 2011}}

{{primary sources|date=October 2011}}

}}

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 programming language for studying programming language design; one part of it is implicitly prototype-oriented, and the other is explicitly statically typed designed for studying computer science type theory. It has been checked as a formal language of metaprogramming systems. It comes from the Scandinavian School of object-oriented languages.

Abadi tried to give an example of pure object-oriented language which would allow studying the 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 Baby Modula-3 and a theory of objects] Martin Abadi. Digital Equipment Corporation (DEC) Systems Research Center (SRC) Research Report 95 (February 1993)

This object model has been shown to have well definiteness decidability{{Cite book

| last = Schwinghammer

| first = J.

| date = 2008-01-01

|editor1-last=Miculan |editor1-first=Marino |editor2-last=Scagnetto |editor2-first=Ivan |editor3-last=Honsell |editor3-first=Furio

| publisher = Springer Berlin Heidelberg

| isbn = 978-3-540-68084-0

| pages = 173–187

| title = Types for Proofs and Programs

| volume = 4941

| chapter = On Normalization by Evaluation for Object Calculi

| series = Lecture Notes in Computer Science

| doi = 10.1007/978-3-540-68103-8_12

| citeseerx = 10.1.1.140.5764

}} (a mechanical proof of it isn't known).

Abadi worked at Digital Equipment Corporation (DEC) Systems Research Center (SRC) in Palo Alto, California. As DEC was bought by Compaq and then Compaq was bought by Hewlett-Packard (HP), the SRC-report 95 was made available to the public by HP.