Euclid programming language

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 and the Department of National Defence (Canada). It was used for a few years at I.P. Sharp Associates, MITRE, SRI International and various other international institutes for research in systems programming and secure software systems.

=External links=

*[http://portal.acm.org/citation.cfmid=804077 ACM paper: The Euclid Language: a progress report]