[W/K] :: strict evaluation

  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)