| slovo | definícia |
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)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4