English Wikipedia - The Free Encycl...
Download this dictionary
Euclid (programming language)
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 budget over 2 years and was commissioned by the
Defense Advanced Research Projects Agency
of the
U.S. Department of Defense
and the
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.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License