Redigerer Euclid (programmeringsspråk)

{{referanseløs}}
{{infoboks programmeringsspråk}}
'''Euclid''' er et [[Imperativ programmering|imperativt]] [[programmeringsspråk]] som brukes til å skrive [[Verifikasjon (informatikk)|verifiserbare]] programmer. Språket ble konstruert av [[Butler Lampson]] og hans medarbeidere ved [[PARC|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 [[kompilator]]en. Euclid ble opprinnelig konstruert for [[mikroprosessor]]en [[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 (USA)|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 [[Pascal (programmeringsspråk)|programmeringsspråket Pascal]]. Etterkommere av Euclid omfatter blant annet [[Mesa (programmeringsspråk)|Mesa]], [[Concurrent Euclid]] og [[Turing (programmeringsspråk)|Turing]].

==Eksterne lenker==
*[http://portal.acm.org/citation.cfm?id=954666.971189 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.]
*[http://portal.acm.org/citation.cfm?id=804077 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.]
*[http://portal.acm.org/citation.cfm?id=802513 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}}
{{Autoritetsdata}}
{{stubb}}

[[Kategori:Programmeringsspråk]]