Baby Modula-3

Baby Modula-3 är ett funktionellt programmeringsunderspråk av Modula -3 (säker delmängd) programmeringsspråk baserat på ideal som uppfanns av Martín Abadi . Det är ett objektorienterat programmeringsspråk för att studera programmeringsspråksdesign ; en del av den är implicit prototyp-orienterad , och den andra är explicit statiskt typad för att studera datavetenskap typteori . Det har kontrollerats som ett formellt språk för metaprogrammeringssystem . Det kommer från Scandinavian School of object-oriented languages.

Abadi försökte ge ett exempel på rent objektorienterat språk som skulle göra det möjligt att studera objekts formella semantik . "Baby Modula-3 definieras med en strukturerad operativ semantik och med en uppsättning statiska typregler. En denotationssemantik garanterar sundheten i denna definition." Den här objektmodellen har visat sig ha god bestämbarhet (ett mekaniskt bevis på det är inte känt).

Abadi arbetade på Digital Equipment Corporation (DEC) Systems Research Center (SRC) i Palo Alto , Kalifornien . Eftersom DEC köptes av Compaq och sedan Compaq köptes av Hewlett-Packard (HP), gjordes SRC-rapporten 95 tillgänglig för allmänheten av HP.

Influenser

Luca Cardelli och Martín Abadi skrev boken A Theory of Objects 1996 och lade upp formella kalkyler för semantiken i objektorienterade programmeringsspråk. Baby Modula-3 påverkade detta arbete enligt Cardelli, och vägledde en beräkning av typen av jag i Typer för objekt och typen av 'jag' . Det har öppnat vägen för arbete med Modula-3 formella semantiska kontrollsystem, för objektorienterade systemprogrammeringsspråk som har använts för att modellera den formella semantiken för språk som Ada och C .