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