Детская Модула-3

Было предложено объединить эту статью в Модулу-3 . ( Обсудить ) Предлагается с августа 2020 года.

Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны )

Тема этой статьи может не соответствовать общему руководству Википедии о известности . Пожалуйста, помогите продемонстрировать значимость темы, цитируя надежные вторичные источники , не зависящие от темы и обеспечивающие значительное ее освещение, помимо банального упоминания. Если не удается показать известность, вероятно, статья будет объединена , перенаправлена или удалена .
Источники: "Baby Modula-3" - новости · газеты · книги · ученый · JSTOR ( октябрь 2011 г. ) (Узнайте, как и когда удалить этот шаблон сообщения )

В этой статье слишком много ссылок на первоисточники . Пожалуйста, улучшите это, добавив вторичные или третичные источники . ( Октябрь 2011 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

( Узнайте, как и когда удалить этот шаблон сообщения )

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

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

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

Влияния [ править ]

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

Ссылки [ править ]

^ a b Baby Modula-3 и теория объектов Мартин Абади. Отчет об исследовании 95 Центра системных исследований (SRC) Digital Equipment Corporation (DEC) (февраль 1993 г.)
^ Schwinghammer, J. (2008-01-01). «О нормализации оценкой для объектных исчислений». В Микулане, Марино; Скагнетто, Иван; Хонселл, Фурио (ред.). Типы доказательств и программ . Конспект лекций по информатике. 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.
^ Абади, Мартин ; Карделли, Лука (1996-08-09). Теория объектов (исправленное ред.). Springer. ISBN 978-0387947754.
^ Теория примитивных объектов (нетипизированные системы, системы первого и второго порядка) (PDF) , получено 29 марта 2012 г. ^{[ постоянная мертвая ссылка ]}
^ Тезисы докладов, представленных Американскому математическому обществу . Американское математическое общество. 1995 г.
^ Исследования , получено 22 марта 2012 г.

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

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

[ONBEIOC-2] Schwinghammer, J. (2008-01-01). «О нормализации оценкой для объектных исчислений». В Микулане, Марино; Скагнетто, Иван; Хонселл, Фурио (ред.). Типы доказательств и программ . Конспект лекций по информатике. 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] Абади, Мартин ; Карделли, Лука (1996-08-09). Теория объектов (исправленное ред.). Springer. ISBN 978-0387947754.

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

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

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

[1]