Euclid

imperative programming language for writing verifiable programs

Created Year: 1977
Designed by: Ric Holt
Developed by: Butler Lampson
Aliases: Euclid (programming language)

Wikidata: Q5406088

Influenced: Concurrent Euclid • Turing

Programming paradigms: imperative programming • structured programming • functional programming • procedural programming

Language types: procedural programming language