previous up next
Go backward to Parameter Domains
Go up to Top
Go forward to Parameterized Type Expressions
RISC-Linz logo

Argument Evaluation

  1. Immediate evaluation
    Value of actual parameter is calculated before its binding to the formal parameter.
    D[[proc I1(I2) = C]] = lambda e.lambda s. ((updateenv [[I1]]
        inProc(lambda a. C[[C]](updateenv [[I2]] a e)) e),
        (return s))
  2. Delayed evaluation
    Value of actual parameter need be calculated only upon its use in the procedure body.

Questions for all parameter domains.


Author: Wolfgang Schreiner
Last Modification: December 18, 1997

previous up next