Euclid is a programming language created in 1970 by Butler Lampson.
|#1560on PLDB||53Years Old||80Users|
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...