翻訳と辞書
Words near each other
・ alpha
・ alpha axp 21164
・ alpha conversion
・ alpha ev6
・ alpha geek
・ alpha particle
・ alpha testing
・ alpha/beta pruning
・ alphabetic language
・ alphanumeric
alphard
・ alps
・ alt
・ alt bit
・ alt.sources
・ alta vista
・ altac
・ altair 8800
・ alternating bit protocol
・ altmode


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

alphard : FOLDOC
Alphard
(Named after the brightest star in Hydra) A Pascal-like language developed by Wulf, Shaw and London of CMU in 1974. Alphard supports data abstraction using the 'form', which combines a specification and an implementation.
["Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators", Mary Shaw, CACM 20(8):553-563, Aug 1977].
(1995-05-10)



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

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