Go backward to Parameter Copy Rule
Go up to Top
Go forward to Numeral and Command Parameters
Parameter Substitution
- Copy rule for sequential declarations
- define I=U; D
define I=U, [U/I]D
- Transformation sequence:
- var A: newint; (fun
F = @A+1,
fun G = [@A+1/F](lambdaA:intexp.A+F)) in ... - var A: newint; (fun
F = @A+1,
fun G = (lambdaA:intexp.
A+(@A+1))) in ...
- Rename locally defined identifiers:
- var A: newint; (fun
F = @A+1,
fun G = [@A+1/F](lambdaB:intexp.B+F)) in ... - var A: newint; (fun
F = @A+1,
fun G = (lambdaB:intexp.
B+(@A+1))) in ...
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine