(CBV) An evaluation strategy where arguments are evaluated

before the function or procedure is entered. Only the values

of the arguments are passed and changes to the arguments

within the called procedure have no effect on the actual

arguments as seen by the caller. See applicative orderreduction, call-by-value-result, strict evaluation,

call-by-name, lazy evaluation.