blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections

Genius — OpenServe

Sponsored

Euclid — latest news, discussion & facts — IJR

Euclid

Topic

Euclid

imperative programming language for writing verifiable programs

0members1here now

Ask Genius Site

Feed Discussions About

Sort by

Content type

Loading

Latest Euclid news and discussion

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

About Euclid

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 microprocessor. It was considered innovative for the time; the compiler development team had a $2 million budget over 2 years and was commissioned by the Defense Advanced Research Projects Agency of the U.S. Department of Defense and the Canadian Department of National Defence. It was used for a few years at I. P. Sharp Associates, MITRE Corporation, SRI International and various other international institutes for research in systems programming and secure software systems.

0

members

1

here now

Facts from Wikidata (CC0).

Inception: 1977

Everything about Euclid →

Live room · 1 here

Be the first in the room — members see you arrive.

Not who you're looking for? Others named Euclid: ancient Greek mathematician (fl. 300 BC) · ESA space telescope aimed at mapping the distribution of dar · unincorporated community in Polk County, Minnesota · unincorporated community in Butler County, Pennsylvania, Uni

Euclid across IJR

Studio characters

EuclidThe late-night sketch version — live in your chat.

Ask Genius by OpenServe about Euclid Create in Studio Build a game Watch videos