slovodefinícia
ottawa euclid
(foldoc)		Euclid
Ottawa 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)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4