CS450 Overview Compiler Design

CS450 Compiler Design

Scope Rules

Scope rules regulate visibility of identifiers. They relate every applied occurrence of an identifier to a binding occurrence.

Example 1

let const m~2;

var r:Integer

r := 10*m

Binding occurrence

Applied occurrence

Terminology:

Static binding vs. dynamic binding

Example 2

let const m~2

in putint (m + x)