Baby Modula-3 - Baby Modula-3

Baby Modula-3 je Funkcionální programování subjazyk z Modula-3 (bezpečná podmnožina) programovací jazyk na základě ideály vynalezl Martín Abadi. Je to objektově orientovaný jazyk pro studium návrh programovacího jazyka; jedna jeho část je implicitně prototypově orientovaný programovací jazyk, a druhý je výslovně staticky napsán pro studium počítačová věda teorie teorií. Bylo zkontrolováno jako formální jazyk jazyka metaprogramování systémy.^[1] Pochází ze „skandinávské školy“ objektově orientovaných programovacích jazyků.

Martín Abadi se pokusil dát příklad čistého objektově orientovaný jazyk což by umožnilo studium formální sémantika předmětů. „Baby Modula-3 je definována strukturovaně operační sémantika a se sadou pravidel statického typu. A denotační sémantika zaručuje spolehlivost této definice. “^[1]Ukázalo se, že tento objektový model má dobře rozhodovatelnost ^[2] (mechanický důkaz toho není znám).

Vynálezce Baby Modula-3 pracoval ve společnosti Centrum pro výzkum systémů (SRC) ze dne Digital Equipment Corporation (DEC) v Palo Alto, Kalifornie. Protože DEC koupil Compaq a samotný Compaq koupil Hewlett Packard zpráva SRC 95 byla zpřístupněna veřejnosti společností HP.

Vlivy

Luca Cardelli a Martín Abadi napsal knihu Teorie objektů^[3] v roce 1997 vypracování formálních výpočtů pro sémantiku objektově orientovaných programovacích jazyků. Baby Modula-3 ovlivnil tuto práci podle Lucy Cardelliho,^[4] a vedl kalkul typu já v Typy pro objekt a typ „já“.^[5]Otevřela cestu pro práci na formálních sémantických kontrolních systémech Modula-3 pro objektově orientované programovací jazyky systému, které byly použity k modelování formální sémantiky programovacích jazyků, jako jsou Ada (programovací jazyk) a C (programovací jazyk) Výzkum, vyvoláno 2012-03-22.

Reference

^ ^A ^b Baby Modula-3 a teorie předmětů Martin Abadi. DEC Centrum pro výzkum systémů (SRC) Research Report 95 (February 1993)
^ Schwinghammer, J. (01.01.2008). "O normalizaci hodnocením pro objektové výpočty". V Marino Miculan; Ivan Scagnetto; Furio Honsell (eds.). Typy důkazů a programů. Přednášky z informatiky. 4941. Springer Berlin Heidelberg. 173–187. CiteSeerX 10.1.1.140.5764. doi:10.1007/978-3-540-68103-8_12. ISBN 978-3-540-68084-0.
^ Abadi, Martin; Luca Cardelli (09.08.1996). Teorie objektů (Opraveno.). Springer. ISBN 978-0387947754.
^ Teorie primitivních objektů (netypové, systémy prvního a druhého řádu) (PDF), vyvoláno 2012-03-29^{[trvalý mrtvý odkaz ]}
^ Society, American Mathematical (1995). Abstrakty příspěvků předložených Americké matematické společnosti. Americká matematická společnost.

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[DecSrcRr095-1] A ^b Baby Modula-3 a teorie předmětů Martin Abadi. DEC Centrum pro výzkum systémů (SRC) Research Report 95 (February 1993)

[ONBEIOC-2] Schwinghammer, J. (01.01.2008). "O normalizaci hodnocením pro objektové výpočty". V Marino Miculan; Ivan Scagnetto; Furio Honsell (eds.). Typy důkazů a programů. Přednášky z informatiky. 4941. Springer Berlin Heidelberg. 173–187. CiteSeerX 10.1.1.140.5764. doi:10.1007/978-3-540-68103-8_12. ISBN 978-3-540-68084-0.

[DecSrcBATOO-3] Abadi, Martin; Luca Cardelli (09.08.1996). Teorie objektů (Opraveno.). Springer. ISBN 978-0387947754.

[DecSrcTDATOPO-4] Teorie primitivních objektů (netypové, systémy prvního a druhého řádu) (PDF), vyvoláno 2012-03-29^{[trvalý mrtvý odkaz ]}

[DecSrcTFOATTOS-5] Society, American Mathematical (1995). Abstrakty příspěvků předložených Americké matematické společnosti. Americká matematická společnost.

[1]

[2]

[3]

[4]

[5]