Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Euclid
Jump to user comments
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.