Детские Модула-3 - Baby Modula-3

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

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

Изобретатель Baby Modula-3 работал в Центр системных исследований (SRC) из Корпорация цифрового оборудования (DEC) в Пало-Альто, Калифорния. Поскольку DEC была куплена Compaq а сам Compaq был куплен Hewlett Packard Отчет SRC 95 был открыт для общественности компанией HP.

Влияния

Лука Карделли и Мартин Абади написал книгу Теория объектов^[3] в 1997 г. излагал формальные исчисления для семантики объектно-ориентированных языков программирования. По словам Луки Карделли, Baby Modula-3 повлияла на эту работу.^[4] и руководил исчислением типа себя в Типы для объекта и тип "я".^[5]Это открыло путь для работы над системами формальной семантической проверки Modula-3 для языков программирования объектно-ориентированных систем типов, которые использовались для моделирования формальной семантики языков программирования, таких как Ада (язык программирования) и C (язык программирования) Исследование, получено 2012-03-22.

Рекомендации

^ ^а ^б Baby Modula-3 и теория предметов Мартин Абади. DEC Центр системных исследований (SRC) Отчет об исследовании 95 (февраль 1993 г.)
^ Швингхаммер, Дж. (1 января 2008 г.). «О нормализации оценкой объектных исчислений». В Марино Микулане; Иван Скагнетто; Фурио Хонселл (ред.). Типы доказательств и программ. Конспект лекций по информатике. 4941. Springer Berlin Heidelberg. С. 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). Теория объектов (Исправленное ред.). Springer. ISBN 978-0387947754.
^ Теория примитивных объектов (нетипизированные системы первого и второго порядка) (PDF), получено 2012-03-29^{[постоянная мертвая ссылка ]}
^ Общество, Американское математическое общество (1995). Тезисы докладов, представленных в Американское математическое общество. Американское математическое общество.

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

[DecSrcRr095-1] а ^б Baby Modula-3 и теория предметов Мартин Абади. DEC Центр системных исследований (SRC) Отчет об исследовании 95 (февраль 1993 г.)

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

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

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

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

[1]

[2]

[3]

[4]

[5]