strict evaluation
{Call-by-value} evaluation order is sometimes called "strict
evaluation" because, in a sequential system, it makes
functions behave as though they were {strict}, in the sense
that evaluation of a function application cannot terminate
before evaluation of the argument. Similarly, languages are
called strict if they use {call-by-value} argument passing.
Compare {eager evaluation}, {lazy evaluation}.
(1994-12-21)