Euclid (програмски јазик)

Euclid - императивен програмски јазик за пишување проверливи програми. Дизајниран е од Батлер Лампсон и соработници во лабораторијата Xerox PARC во средината на 1970-тите. Спроведувањето го водел Рик Холт на Торонтскиот универзитет, а Џејмс Корди бил главниот програмер за првото спроведување на преведувачот. Првично бил дизајниран за микрообработувачот Motorola 6809. Бил сметан за иновативно за тоа време; тимот за развој на преведувачи имал буџет од 2 милиони долари во текот на 2 години и бил нарачан од Агенцијата за одбранбени напредни истражувачки проекти на Министерството за одбрана на САД и Канадскиот оддел за национална одбрана. Се користел неколку години во IP Sharp Associates, MITER Corporation, SRI International и разни други меѓународни институти за истражување во систематско програмирање и безбедни софтверски системи.

Euclid потекнува од програмскиот јазик Pascal. Функциите во Euclid се затворени опсези, може да немаат несакани ефекти и мора експлицитно да се изјаснат внес. Euclid исто така не ги дозволува goto-а, броеви на подвижни точки, широки задачи, вгнездени функции и псевдоними, и никој од реалните параметри на функцијата не може да се однесува на истото. Euclid спроведува модули како типови. Потомците на Euclid вклучуваат програмски јазик Mesa, програмскиот јазик Concurrent Euclid и програмски јазик Turing.

 Надворешни врски 

 B.W. Lampson, J.J. Horning, R.L. London, J.G. Mitchell and G.J. Popek 1977. Report on the programming language Euclid. SIGPLAN Notices 12, 2 (February 1977), 1-79.
 R.C. Holt, D.B. Wortman, J.R. Cordy and D.R. Crowe 1978. The Euclid Language: a progress report. In Proceedings of the 1978 Annual Conference (Washington, D.C., United States, December 04 - 06, 1978), 111-115.
 D.B. Wortman and J.R. Cordy 1981. Early experiences with Euclid. In Proc. 5th international Conference on Software Engineering (San Diego, California, United States, March 09 - 12, 1981), 27-32.

Категорија:Програмски јазици
Категорија:Појавено во 1970-тите