Бэби Модуль-3

Baby Modula-3 — это функционального программирования подъязык Modula -3 (безопасное подмножество), языка программирования основанный на идеалах, изобретенных Мартином Абади . Это объектно-ориентированный язык программирования для изучения проектирования языков программирования ; одна его часть неявно ориентирована на прототипы , а другая явно статически типизирована и предназначена для изучения в информатике теории типов . Он был проверен как формальный язык систем метапрограммирования . ^[1] Он происходит из скандинавской школы объектно-ориентированных языков.

Абади попытался привести пример чистого объектно-ориентированного языка, который позволил бы изучать формальную семантику объектов. «Baby Modula-3 определяется структурированной операционной семантикой и набором правил статического типа. Денотационная семантика гарантирует правильность этого определения». ^[1]Показано, что данная объектная модель имеет вполне определенную разрешимость. ^[2] (механическое доказательство этого неизвестно).

Абади работал в Digital Equipment Corporation (DEC) Центре системных исследований (SRC) в Пало-Альто , Калифорния . Поскольку DEC была куплена Compaq , а затем Compaq была куплена Hewlett-Packard (HP), HP обнародовала отчет SRC 95.

Влияния

Лука Карделли и Мартин Абади написали книгу «Теория объектов» в 1996 году. ^[3] создание формальных вычислений для семантики объектно-ориентированных языков программирования. По словам Карделли, Baby Modula-3 повлияла на эту работу: ^[4] и руководил расчетом типа «я» в «Типы для объекта» и типа «я» . ^[5]Это открыло путь для работы над системами формальной семантической проверки Modula-3, для языков программирования объектно-ориентированных систем типов которые использовались для моделирования формальной семантики таких языков, как Ada и C. , ^[6]

Ссылки

^ Jump up to: ^а ^б Бэби-Модула-3 и теория объектов Мартин Абади. (SRC) Digital Equipment Corporation (DEC) (февраль 1993 г.) Центра системных исследований Отчет об исследовании 95
^ Швинхаммер, Дж. (1 января 2008 г.). «О нормализации путем оценки объектных исчислений». В Микулане, Марино; Скагнетто, Иван; Хонселл, Фурио (ред.). Типы доказательств и программ . Конспекты лекций по информатике. Том. 4941. Шпрингер Берлин Гейдельберг. стр. 173–187. CiteSeerX 10.1.1.140.5764 . дои : 10.1007/978-3-540-68103-8_12 . ISBN 978-3-540-68084-0 .
^ Абади, Мартин ; Карделли, Лука (9 августа 1996 г.). Теория объектов (Исправленная ред.). Спрингер. ISBN 978-0387947754 .
^ Теория примитивных объектов (нетипизированные системы первого и второго порядка) (PDF) , получено 29 марта 2012 г. ^{[ постоянная мертвая ссылка ]}
^ Тезисы докладов, представленных Американскому математическому обществу . Американское математическое общество. 1995.
^ Исследование , получено 22 марта 2012 г.

Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее .

[DecSrcRr095-1] Jump up to: ^а ^б Бэби-Модула-3 и теория объектов Мартин Абади. (SRC) Digital Equipment Corporation (DEC) (февраль 1993 г.) Центра системных исследований Отчет об исследовании 95

[ONBEIOC-2] Швинхаммер, Дж. (1 января 2008 г.). «О нормализации путем оценки объектных исчислений». В Микулане, Марино; Скагнетто, Иван; Хонселл, Фурио (ред.). Типы доказательств и программ . Конспекты лекций по информатике. Том. 4941. Шпрингер Берлин Гейдельберг. стр. 173–187. CiteSeerX 10.1.1.140.5764 . дои : 10.1007/978-3-540-68103-8_12 . ISBN 978-3-540-68084-0 .

[DecSrcBATOO-3] Абади, Мартин ; Карделли, Лука (9 августа 1996 г.). Теория объектов (Исправленная ред.). Спрингер. ISBN 978-0387947754 .

[DecSrcTDATOPO-4] Теория примитивных объектов (нетипизированные системы первого и второго порядка) (PDF) , получено 29 марта 2012 г. ^{[ постоянная мертвая ссылка ]}

[DecSrcTFOATTOS-5] Тезисы докладов, представленных Американскому математическому обществу . Американское математическое общество. 1995.

[6] Исследование , получено 22 марта 2012 г.

[1]

[2]

[3]

[4]

[5]

[6]