University
of Washington • CSE583 • D. Notkin © 2000
4
Statically scoped (review)
lA free variable in a
function definition is bound to the variable of the same name in the closest enclosing block
lDynamically scoped: free variable bound to nearest match on the call stack
proc
fork(x,y:int){
proc snork(a:int){
proc cork() {
a := x + y;
}
x : int;
a := x + y;
}
proc snork(a:int){
proc cork() {
a := x + y;
}
x : int;
a := x + y;
}
}
