Euclid (programming language)
id:
euclid-programming-language-264-14182255
title:
Euclid (programming language)
text:
Euclid is an imperative programming language for writing verifiable programs. It was designed in the mid-1970s by Butler Lampson and James G. Mitchell at the Xerox PARC lab in collaboration with Jim Horning at the University of Toronto, Ralph L. London at USC ISI and Gerald J. Popek at UCLA. 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. It was originally designed for the Motorola 6809
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Euclid_(programming_language)
date created:
date modified:
2023-09-30T06:47:31Z
main entity:
{"identifier":"Q5406088","url":"https://www.wikidata.org/entity/Q5406088"}
image:
fields total:
13
integrity:
13