basic notions

an environment is

• a sequence of frames

a frame is

• a table of bindings

a binding is

• a variable and its associated value

constraints

• every frame (except the global frame) points to another one
• each frame has at most one binding for a variable

x : 1y : 2

x :2z : 3

E1

E2

a binding

a frame

an environment, includes both frames

Previous slide

Next slide

Back to first slide

View graphic version