Euclid
(Named after the Greek geometer, fl ca 300 BC.) A
{Pascal} descendant for development of verifiable system
software. No {goto}, no {side effects}, no global
assignments, no functional arguments, no nested procedures, no
floats, no {enumeration types}. Pointers are treated as
indices of special arrays called collections. To prevent
{aliasing}, Euclid forbids any overlap in the list of actual
parameters of a procedure. Each procedure gives an imports
list, and the compiler determines the identifiers that are
implicitly imported. Iterators.
Ottawa Euclid is a variant.
["Report on the Programming Language Euclid", B.W. Lampson et
al, SIGPLAN Notices 12(2):1-79, Feb 1977].
(1998-11-23)