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!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine