Baby_Modula-3
「BabyModula-3」
赤ちゃんのModula-3がある関数型プログラミング サブ言語ののModula-3 （安全なサブセット）のプログラミング言語に基づいて、理想によって発明マーティン・アバディー。これは、プログラミング言語の設計を研究するためのオブジェクト指向プログラミング言語です。その一部は暗黙的にプロトタイプ指向であり、他の部分はコンピュータサイエンスの型理論を研究するために設計された明示的に静的に型付けされています。それは次のようにチェックされている形式言語のメタプログラミングシステム。それは オブジェクト指向言語のスカンジナビアスクール。
アバディは、オブジェクトの形式的な意味論を研究することを可能にする純粋なオブジェクト指向言語の例を挙げようとしました。「BabyModula-3は、構造化された操作的セマンティクスと一連の静的タイプルールで定義されています。表示的セマンティクスは、この定義の健全性を保証します。」このオブジェクトモデルは、明確な決定可能性を持っていることが示されています（その機械的な証拠は不明です）。
アバディは、カリフォルニア州パロアルトのデジタルイクイップメントコーポレーション（DEC）システムリサーチセンター（SRC）で働いていました。DECがCompaqによって購入され、次にCompaqがHewlett-Packard（HP）によって購入されたため、SRCレポート95はHPによって一般に公開されました。
影響
Luca CardelliとMartínAbadiは、1996年にA Theory of Objects を執筆し、オブジェクト指向プログラミング言語のセマンティクスの正式な計算を示しました。赤ちゃんのModula-3は、Cardelliによれば、この作業に影響を与えたとのタイプの計算導か自己におけるオブジェクトのタイプと「自己」のタイプ。 AdaやCなどの言語の形式的セマンティクスをモデル化するために使用されてきたオブジェクト指向型システムプログラミング言語のために、Modula-3形式的セマンティックチェックシステムでの作業への道を開きました。
参考文献
^ BabyModula-3とオブジェクトの理論MartinAbadi。Digital Equipment Corporation（DEC）Systems Research Center（SRC）Research Report 95（1993年2月）
^ Schwinghammer、J。（2008-01-01）。「オブジェクト結石の評価による正規化について」。マリノのミキュランでは、Scagnetto、Ivan; Honsell、Furio（編）。証明とプログラムのタイプ。コンピュータサイエンスの講義ノート。4941。シュプリンガーベルリンハイデルベルク。pp。173–187。CiteSeerX 10.1.1.140.5764。土井：10.1007 / 978-3-540-68103-8_12。ISBN 978-3-540-68084-0。
^ アバディ、マーティン; カーデリ、ルカ（1996-08-09）。オブジェクトの理論（修正版）。スプリンガー。ISBN 978-0387947754。
^ プリミティブオブジェクトの理論（型なし、1次および2次システム）（PDF）、
^ アメリカ数学会に提出された論文の要約。アメリカ数学会。1995年。
^ 調査、取得2012-03-22
このプログラミング言語関連
“