The Euclid Language: a progress report
Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe · 1978
Euclid is a programming language for writing verifiable system programs. A compiler for Euclid is being implemented by the authors. Since its definition [I], the language has evolved largely in response to problems discovered in the course of implementation. This paper gives a summary of language changes, the status of the implementation and some observations about use of Euclid as a practical programming language.