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: structured programming • procedural programming • functional programming • imperative programming

Language types: procedural programming language