Synopsis

• 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