Go backward to Scope Go up to Top Go forward to Semantics of Dynamic Scoping

Dynamic Scoping

• Dynamic Scoping
  • Interpreter for language makes assocatiation between an invocation and a definition.
  • Assocation can change each time invocation is evaluated.
  • Typing rules difficult or impossible.
  • begin var A: newint; proc P = A:=0
    in begin fun A = 1
    in call P end end

Runtime incompatibility errors may occur!