Альфард (язык программирования)
Alphard — это Паскалю подобный язык программирования, , для данных абстракции и проверки , предложенный и разработанный Уильямом А. Вульфом , Ральфом Л. Лондоном и Мэри Шоу . [1] Этот язык был предметом нескольких исследовательских публикаций в конце 1970-х годов, но так и не был реализован. form Его главной инновационной особенностью стало введение типа данных , который сочетает в себе спецификацию и процедурную (исполняемую) реализацию . тоже взял Генератор от IPL-V , [2] а также функции отображения из Lisp [3] и сделал это общим случаем. [4]
Ссылки
[ редактировать ]- ^ Вульф, Уильям А.; Лондон, Ральф Л.; Шоу, Мэри (декабрь 1976 г.). «Введение в создание и проверку программ Alphard». Транзакции IEEE по разработке программного обеспечения . 2 (4): 253–265.
- ^ Ньюэлл, Аллен (1964). Язык обработки информации-V руководство . Прентис-Холл . Проверено 12 мая 2012 г.
- ^ Маккарти, Джон (1965). Руководство программиста LISP 1.5 (2-е изд.). Кембридж: MIT Press. ISBN 978-0262130110 .
- ^ Шоу, Мэри (1981). Альфард: форма и содержание . Спрингер-Верлаг. ISBN 978-3-540-90663-6 . Проверено 12 мая 2012 г.
Дальнейшее чтение
[ редактировать ]- Кливленд, Дж. Крейг (1986). Введение в типы данных . Аддисон-Уэсли. ISBN 0201119404 .
| Базы данных органов управления : Национальные |
|---|
 | Эта языкам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |