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)