Tags: Programming Language.

Euclid is an imperative programming language for writing verifiable programs. It was designed by Butler Lampson and associates at the Xerox PARC lab in the mid-1970s. 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.

designer
PARC (company), Butler Lampson
developer
James Cordy, Ric Holt
influenced
Mesa (programming language), Turing (programming language), Concurrent Euclid
influenced by
Pascal (programming language)

Loading...

This page contains content from the copyrighted Wikipedia article "Euclid (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.