(4) During the evaluation of an application expression, … been evaluated. This is the call-by-value order of … In the alternative order of application, known as … operand would only be evaluated when (and if) … [To support imperative extensions under call-by-value] we will assume that the subexpressions are …
Google-1
Google-2
Copyright clearance needed for quotation.