Euclid (programming language): Difference between revisions

Revision as of 18:46, 2 June 2006

Revision as of 18:46, 2 June 2006

Line 1:

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

'''Euclid''' is an imperative programming language for writing verifiable programs. It was designed by [[Butler Lampson]] and associates at the [[Xerox PARC]] lab in the mid 1970s. The implementation was led by [[Ric Holt]] at the [[University of Toronto]] and [[James Cordy]] was the principal programmer for the first implementation of the [[compiler]]. It was originally designed for the [[Motorola]] [[6809]] microprocessor. It was considered innovative for the time; the compiler development team had a 2 million dollar budget over 2 years and was commissioned by the [[Defense Advanced Research Projects Agency]] of the [[United States Department of Defense|U.S. Department of Defense]] and the [[Department of National Defence (Canada)|Canadian Department of National Defence]]. It was used for a few years at I.P. Sharp Associates, [[MITRE|Mitre Corporation]], [[SRI International]] and various other international institutes for research in systems programming and secure software systems.