Go backward to Parameter Forms Go up to Top Go forward to Evaluation Strategy

Expression Parameters

• E-phrases as parameters.
• theta= tauexp, tau in {int, bool}.
• Abstract syntax:
  • D ::= ...| proc I₁(I₂: tauexp) = C
    C ::= ...| call I(E)
    E ::= ...| I
• Notice:
  • var A: newint
    proc P(M: intexp) = A:=M in call P(@A)
  • var A: newint
    proc P(M: intloc) = A:=M in call P(@A)
  • value and reference parameters!