[yoo-klid] 
| 1. | fl. c300 b.c., Greek geometrician and educator at Alexandria. |
| 2. | a city in NE Ohio, near Cleveland. 59,999. |
| Eu·clid 1 (yōō'klĭd) Greek mathematician who applied the deductive principles of logic to geometry, thereby deriving statements from clearly defined axioms. |
| Eu·clid 2 (yōō'klĭd) A city of northeast Ohio, a manufacturing suburb of Cleveland on Lake Erie. Population: 48,700. |
Euclid (y 'klĭd) Pronunciation Key
Greek mathematician whose book, Elements, was used continuously until the 19th century. In it he organized and systematized all that was known about geometry. Euclid's systematic use of deductions and axioms was widely regarded as a model working method and influenced mathematicians and scientists for over two thousand years. |
Euclid language
(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)
klɪd