|
Euclid 音标拼音: [j'uklɪd] n. 欧几里得 欧几里得 EUCLIDEUCLID语言( 在 PASCAL 语言基础上发展而成的一种语言 ) Euclid n 1: Greek geometer ( 3rd century BC) Euclid \ Eu" clid\, n. A Greek geometer of the 3d century b. c.; also, his treatise on geometry, and hence, the principles of geometry, in general. [ 1913 Webster] (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)
|
安装中文字典英文字典查询工具!
中文字典英文字典工具:
英文字典中文字典相关资料:
|