翻訳と辞書
Words near each other
・ b1ff
・ b2 security
・ b2b
・ b3 security
・ b4
・ ba
・ baan
・ babbage
・ babbage, charles
・ babbling error
babel
・ babt
・ baby at
・ babylon
・ bacaic
・ bachman
・ bachman information systems
・ back door
・ back end generator
・ back end generator language


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

babel : FOLDOC
BABEL
1. A subset of ALGOL 60, with many ALGOL W extensions.
["BABEL, A New Programming Language", R.S. Scowen, Natl Phys Lab UK, Report CCU7, 1969].
2. Mentioned in The Psychology of Computer Programming, G.M. Weinberg, Van Nostrand 1971, p.241.
3. A language based on higher-order functions and first-order logic.
["Graph-Based Implementation of a Functional Logic Language", H. Kuchen et al, Proc ESOP 90, LNCS 432, Springer 1990, pp.271-290].
["Logic Programming with Functions and Predicates: The Language BABEL", Moreno-Navarro et al, J Logic Prog 12(3) (Feb 1992)].
(1994-11-28)



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

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