Парадигма | мультипарадигма : структурированная , императивная , функциональная |
---|---|
Разработано | Батлер Лэмпсон , Xerox PARC |
Разработчик | Рик Холт и Джеймс Корди |
Впервые появился | 1970-е |
Печатная дисциплина | сильный , статичный |
Под влиянием | |
Паскаль | |
Под влиянием | |
Меса , Параллельный Евклид , Тьюринг |
Евклид - это императивный язык программирования для написания проверяемых программ. Он был разработан Батлером Лэмпсоном и сотрудниками лаборатории Xerox PARC в середине 1970-х годов. Реализацией руководил Рик Холт из Университета Торонто, а Джеймс Корди был главным программистом первой реализации компилятора . Первоначально он был разработан для микропроцессора Motorola 6809 . В то время это считалось инновационным; команда разработчиков компилятор имел бюджет в размере $ 2 млн в течение 2 -х лет и был введен в эксплуатацию в передовых оборонных исследовательских проектов Агентства изМинистерство обороны США и Министерство национальной обороны Канады . Он использовался в течение нескольких лет в IP Sharp Associates , MITER Corporation , SRI International и различных других международных институтах для исследований в области системного программирования и безопасных программных систем.
Евклид произошел от языка программирования Паскаль . Функции в Euclid являются закрытыми областями действия, могут не иметь побочных эффектов и должны явно объявлять импорт. Евклид также запрещает переходы , числа с плавающей запятой, глобальные назначения, вложенные функции и псевдонимы, и ни один из фактических параметров функции не может относиться к одному и тому же. Евклид реализует модули как типы. Потомки Евклида включают язык программирования Mesa, язык программирования Concurrent Euclid и язык программирования Тьюринга .
Внешние ссылки [ править ]
- BW Lampson, JJ Horning, RL London, JG Mitchell и GJ Popek 1977 г. Отчет о языке программирования Euclid. Уведомления SIGPLAN 12, 2 (февраль 1977 г.), 1-79.
- Р. К. Холт, Д. Б. Уортман, Дж. Р. Корди и Д. Р. Кроу 1978. Язык Евклида: отчет о ходе работы. В материалах Ежегодной конференции 1978 г. (Вашингтон, округ Колумбия, США, 4–6 декабря 1978 г.), 111–115.
- DB Wortman и JR Cordy 1981. Ранние опыты с Евклидом. В Proc. 5-я международная конференция по разработке программного обеспечения (Сан-Диего, Калифорния, США, 9–12 марта 1981 г.), 27–32.