Revision as of 05:49, 3 December 2004 edit JesseW (talk \| contribs) 11,806 edits adding a external link and a few sentances ← Previous edit		Revision as of 09:39, 25 June 2005 edit undo Jaraalbe (talk \| contribs) 105,816 edits m links Next edit →
Line 1: '''Euclid''' is a programming language for writing verifiable programs. It was developed at the University of Toronto by [[Ric Holt]] et al. It was originally designed for the [[Motorola]] [[6809]] microprocessor. [[James Cordy]] was the principal programmer for the first implementation of the [[compiler]] at the [[University of Toronto]]. 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 Corporation]], [[SRI International]] and various other international institutes for research in systems programming and secure software systems. ==External links==

Euclid (programming language): Difference between revisions