Loading article…
Baby Modula-3は、Martín Abadiが考案した理念に基づくModula-3（セーフサブセット）プログラミング言語の関数型プログラミング サブ言語です。プログラミング言語設計を研究するためのオブジェクト指向プログラミング言語です。一部は暗黙的にプロトタイプ指向で、他は明示的に静的に型付けされており、コンピュータサイエンスの型理論を研究するように設計されています。メタプログラミングシステムの形式言語として検証されています。 [1]オブジェクト指向言語の スカンジナビア学派に由来しています。
アバディは、オブジェクトの形式的意味論を研究できる純粋なオブジェクト指向言語の例を挙げようとしました。「Baby Modula-3 は、構造化された操作的意味論と一連の静的型ルールで定義されています。表示的意味論により、この定義の妥当性が保証されます。」[1] このオブジェクト モデルは、明確な決定可能性を備えていることが示されています[2] (その機械的な証明は不明)。
アバディは、カリフォルニア州パロアルトのDigital Equipment Corporation (DEC) Systems Research Center (SRC)に勤務していました。DEC がCompaqに買収され、その後 Compaq がHewlett-Packard (HP)に買収されたため、SRC レポート 95 は HP によって一般に公開されました。
影響
ルカ・カルデッリとマルティン・アバディは1996年に「オブジェクトの理論」[3]という本を執筆し、オブジェクト指向プログラミング言語の意味論に対する形式的計算を提示した。カルデッリによると、Baby Modula-3はこの研究に影響を与え、[4]オブジェクトの型におけるselfの型と'self'の型の計算を導いた。[5]これは、 AdaやCなどの言語の形式的意味論をモデル化するために使用されてきたオブジェクト指向型システムプログラミング言語 用のModula-3形式的意味論チェックシステムの研究への道を開いた。[6]
参考文献
- ^ ab Baby Modula-3 とオブジェクトの理論 Martin Abadi。Digital Equipment Corporation (DEC) Systems Research Center (SRC) Research Report 95 (1993 年 2 月)
- ^ Schwinghammer, J. (2008-01-01). 「オブジェクト計算の評価による正規化について」。Miculan, Marino、Scagnetto, Ivan、Honsell, Furio (編)。証明とプログラムのための型。コンピュータサイエンスの講義ノート。第 4941 巻。Springer Berlin Heidelberg。pp. 173–187。CiteSeerX 10.1.1.140.5764。doi : 10.1007 / 978-3-540-68103-8_12。ISBN 978-3-540-68084-0。
- ^ アバディ、マーティン、カルデッリ、ルカ(1996-08-09)。オブジェクトの理論(訂正版)。シュプリンガー。ISBN 978-0387947754。
- ^ プリミティブオブジェクトの理論（型なし、第1および第2階層システム）（PDF）、2012年3月29日取得[永久リンク切れ ]
- ^ アメリカ数学会で発表された論文の要旨。アメリカ数学会。1995年。
- ^ 研究、2012年3月22日閲覧