Евклид (язык программирования) - Euclid (programming language)
Парадигма | мультипарадигма: структурированный, императив, функциональный |
---|---|
Разработано | Батлер Лэмпсон, Xerox PARC |
Разработчик | Рик Холт и Джеймс Корди |
Впервые появился | 1970-е годы |
Печатная дисциплина | сильный, статический |
Под влиянием | |
Паскаль | |
Под влиянием | |
Меса, Параллельный Евклид, Тьюринг |
Евклид это императивный язык программирования для написания проверяемый программы. Он был разработан Батлер Лэмпсон и сотрудники Xerox PARC лаборатория в середине 1970-х гг. Реализацией руководил Рик Холт на Университет Торонто и Джеймс Корди был главным программистом при первой реализации компилятор. Первоначально он был разработан для Motorola 6809 микропроцессор. Для того времени это считалось инновационным; команда разработчиков компилятора имела бюджет в 2 миллиона долларов на 2 года и был заказан Агентство перспективных оборонных исследовательских проектов из Министерство обороны США и Канадское министерство национальной обороны. Его использовали несколько лет в I. P. Sharp Associates, Корпорация МИТЕР, SRI International и различные другие международные институты для исследований в области системного программирования и безопасных программных систем.
Евклид происходит от Язык программирования Паскаль. Функции в Euclid являются закрытыми областями действия, могут не иметь побочных эффектов и должны явно объявлять импорт. Евклид также запрещает перейти к с, числа с плавающей запятой, глобальные присвоения, вложенные функции и псевдонимы, и ни один из фактических параметров функции не может относиться к одному и тому же. Евклид реализует модули как типы. Потомки Евклида включают Язык программирования Mesa, то Параллельный язык программирования Евклид и Язык программирования Тьюринга.
внешняя ссылка
- B.W. Лэмпсон, Дж. Дж. Хорнинг, Р.Л. Лондон, Дж. Митчелл и Г.Дж. Попек 1977. Отчет о языке программирования Евклид. Уведомления SIGPLAN 12, 2 (февраль 1977 г.), 1-79.
- R.C. Холт, Д. Уортман, Дж.Р. Корди и Д. Кроу 1978. Язык Евклида: отчет о проделанной работе. In Proceedings of the Annual Conference 1978 (Вашингтон, округ Колумбия, США, 4–6 декабря 1978 г.), 111–115.
- Д. Wortman and J.R. Cordy 1981. Ранние опыты с Евклидом. В Proc. 5-я международная конференция по разработке программного обеспечения (Сан-Диего, Калифорния, США, 9–12 марта 1981 г.), 27–32.