|
||
| ||
Warning: include() [function.include]: URL file-access is disabled in the server configuration in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 52
Warning: include(http://www.softwaredealz.com/software/amazonsearch.html) [function.include]: failed to open stream: no suitable wrapper could be found in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 52
Warning: include() [function.include]: Failed opening 'http://www.softwaredealz.com/software/amazonsearch.html' for inclusion (include_path='.:/usr/lib/php:/usr/local/lib/php:/usr/local/php4') in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 52
|
Warning: include() [function.include]: URL file-access is disabled in the server configuration in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 61 Warning: include(http://www.softwaredealz.com/software/sidebar2.html) [function.include]: failed to open stream: no suitable wrapper could be found in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 61 Warning: include() [function.include]: Failed opening 'http://www.softwaredealz.com/software/sidebar2.html' for inclusion (include_path='.:/usr/lib/php:/usr/local/lib/php:/usr/local/php4') in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 61 |
Warning: include() [function.include]: URL file-access is disabled in the server configuration in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 67 Warning: include(http://www.softwaredealz.com/software/468ad.html) [function.include]: failed to open stream: no suitable wrapper could be found in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 67 Warning: include() [function.include]: Failed opening 'http://www.softwaredealz.com/software/468ad.html' for inclusion (include_path='.:/usr/lib/php:/usr/local/lib/php:/usr/local/php4') in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 67 call-by-need<reduction> A reduction strategy which delays evaluation of function arguments until they are needed because they are arguments to a primitive function or a conditional. Call-by-need is one part 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)
Try this search on OneLook / Google
Nearby terms: California State University San Marcos « callback « call-by-name « call-by-need » call-by-reference » call-by-value » call-by-value-result This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License. Warning: include() [function.include]: URL file-access is disabled in the server configuration in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 117 Warning: include(http://www.softwaredealz.com/software/bigbottom.html) [function.include]: failed to open stream: no suitable wrapper could be found in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 117 Warning: include() [function.include]: Failed opening 'http://www.softwaredealz.com/software/bigbottom.html' for inclusion (include_path='.:/usr/lib/php:/usr/local/lib/php:/usr/local/php4') in /home/softwa19/public_html/dictionary/C/call-by-need.html on line 117 |