Расширенное машинное обучение

Расширенное машинное обучение

Парадигмы	Мультипарадигмальность : функциональная , императивная , модульная.
Семья	ML : Стандартный ML
Разработано	С. Карс, Д. Саннелла, А. Тарлецкий
Разработчик	Эдинбургский университет
Впервые появился	1985 год ( 1985 )
Финальный выпуск	1.1 / 1999 ( 1999 )
Дисциплина набора текста	сильный , статичный , предполагаемый
Платформа	ИА-32 , СПАРК
ТЫ	Кроссплатформенность : Linux , Solaris.
Веб-сайт	домашние страницы .inf .ed .и .uk /дц /эмл
Под влиянием
ML , Стандартный ML

Extended ML — это общего назначения , высокоуровневый широкого спектра язык программирования основанный на языках ML и Standard ML , охватывающий как спецификацию, так и реализацию программы . Он расширяет синтаксис ML, включив в него аксиомы , которые не обязательно должны быть исполняемыми, но могут строго определять поведение программы. Благодаря этому дополнению язык можно использовать для поэтапного усовершенствования, постепенно переходя от первоначальной формальной спецификации к конечному созданию исполняемой стандартной программы ML. Корректность окончательного исполняемого файла по отношению к исходной спецификации может быть затем установлена ​​путем доказательства правильности каждого из этапов уточнения. Расширенное машинное обучение используется для исследования и обучения формальным методам разработки и спецификации программ, а также для исследований в области автоматической проверки программ .

Расширенный ML не связан ни с языком программирования Extensible ML (кроме того, что он аналогичен производному от ML), ни с языком спецификации Extensible Markup Language (XML).

Ссылки

• Саннелла, Д. ; Тарлецкий, А. (1986). «Расширенное машинное обучение: институционно-независимая основа для формальной разработки программ». Материалы семинара по теории категорий и компьютерному программированию: ЭТАПС'98 . Том. 173. Лиссабон, Португалия: Springer LNCS 240. стр. 364–389. Семинар в Гилфорде, Англия; 1985.
• Саннелла, Д. ; Тарлецкий, А. (1989). На пути к формальному развитию программ ML: основы и методология; ECS-LFCS-89-71 (Отчет). Эдинбург, Шотландия: Лаборатория основ компьютерных наук, Эдинбургский университет. Расширенный реферат в материалах Объединенной конференции по теории и практике разработки программного обеспечения, Барселона, Испания, Springer LNCS, стр. 352, 375–389 (1989).
• Карс, С.; Саннелла, Д. ; Тарлецкий, А. (1994). «Интерфейсы и расширенное машинное обучение». Материалы семинара ACM по языкам определения интерфейсов . Уведомления SIGPLAN. Том. 29. Портленд, Орегон. стр. 111–118. {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
• Карс, С.; Саннелла, Д. ; Тарлецкий, А. (28 февраля 1997 г.). «Определение расширенного машинного обучения: краткое введение». Теоретическая информатика . 173 (2): 445–484.
• Карс, С.; Саннелла, Д. (1998). «Размышления о разработке языка спецификации». Материалы Международного коллоквиума по фундаментальным подходам к программной инженерии: ETAPS'98 . Том. 173. Лиссабон, Португалия: Springer LNCS 1382. стр. 154–170.
• Саннелла, Д. ; Тарлецкий, А. (1999). «Алгебраические методы спецификации и формальной разработки программ». Обзоры вычислительной техники ACM . 31 (3с).

Внешние ссылки

• Официальный сайт Дон Саннелла