Euclid is a historical programming language created in 1970. 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. Read more on Wikipedia...
- Euclid ranks in the top 20% of languages
- the Euclid wikipedia page
- Euclid first appeared in 1970
- See also: pascal, mesa, turing
- I have 32 facts about Euclid. what would you like to know? email me and let me know how I can help.
Last updated December 10th, 2019