Euclid

imperative programming language for writing verifiable programs

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

Wikidata: Q5406088

Influenced: Concurrent Euclid • Turing

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

Language types: procedural programming language