Euclid (programmeringsspråk)

Euclid er et imperativt programmeringsspråk som brukes til å skrive verifiserbare programmer. Språket ble konstruert av Butler Lampson og hans medarbeidere ved Xerox PARC lab i midten av 1970-årene. Implementasjonen ble ledet av Ric Holt ved University of Toronto og James Cordy var den primære programmerer bak den første implementasjonen av kompilatoren. Euclid ble opprinnelig konstruert for mikroprosessoren Motorola 6809.

Det var et innovativt prosjekt på denne tiden. Teamet som utviklet kompilatoren hadde et budsjett på §2 millioner over en periode på to år, og fikk oppdraget av Defense Advanced Research Projects Agency (DARPA) ved Forsvarsdepartementet i USA og  Canadas forsvarsdepartement. Språket ble brukt i en del år av I. P. Sharp Associates, MITRE Corporation, SRI International og ulike andre internasjonale institutter for forskning i systemprogrammering og sikre programvaresystemer.

Euclid nedstammet fra programmeringsspråket Pascal. Etterkommere av Euclid omfatter blant annet Mesa, Concurrent Euclid og Turing.

Eksterne lenker
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.

Programmeringsspråk