Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Lazy Evaluation

Aliases: Call-by-need

Keywords: call-by-value

Categories: Automatic Programming , Theorem Proving

Author(s): Kevin Mitchell

A parameter passing mechanism in which the evaluation of an argument is postponed until its value is actually required. Used as an alternative to call-by-value where arguments to a function are evaluated before the function is called. The technique is particularly useful for the construction and manipulation of infinite data structures. See also Delayed Evaluation.



Add Comment

No comments.