Skip to main content
Logo image

Section C.13 S2: Extending C0 to Pointers and Scopes


  • So far, C0 cannot declare local variables and has no pointers.
  • First introduce pointers and recap L- and R-evaluation formally.
  • Second, add scopes by extending the block syntax and changing the state to a stack of variable assignments.
  • Introduce and discuss new block and leave rules that administer the stack of variable assignments.

Sections Covered.