翻訳と辞書
Words near each other
・ ethernet
・ ethernet address
・ ethernet meltdown
・ ethertalk
・ ethics
・ etl
・ etm
・ etrn
・ etsi
・ etx
・ euclid
・ euclid's algorithm
・ euclidean algorithm
・ euclidean norm
・ eudora
・ eula
・ euler
・ eulisp
・ eunet ltd.
・ euphoria


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Euclid : FOLDOC
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)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.