strict evaluation

strict evaluation

Call-by-value evaluation order is sometimes called "strictevaluation" because, in a sequential system, it makesfunctions behave as though they were strict, in the sensethat evaluation of a function application cannot terminatebefore evaluation of the argument. Similarly, languages arecalled strict if they use call-by-value argument passing.

Compare eager evaluation, lazy evaluation.