翻訳と辞書
Words near each other
・ calc
・ calculator
・ calculus of communicating systems
・ calendar api
・ calendar application programming interface
・ caliban
・ calico
・ california state university san marcos
・ call unix
・ call-by-name
call-by-need
・ call-by-reference
・ call-by-value
・ call-by-value-result
・ call-level interface
・ call-with-current-continuation
・ call/cc
・ callback
・ callee
・ caller id


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

call-by-need : FOLDOC
call-by-need
A reduction strategy which delays evaluation of function arguments until their values are needed. A value is needed if it is an argument to a primitive function or it is the condition in a {conditional}. Call-by-need is one aspect of lazy evaluation.
The term first appears in Chris Wadsworth's thesis "Semantics and Pragmatics of the Lambda calculus" (Oxford, 1971, p. 183). It was used later, by J. Vuillemin in his thesis (Stanford, 1973).
(1995-05-27)



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

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