COMP 3007 Lecture Notes - Lecture 6: Structured Programming, Graphical Model
Document Summary
Binding is an association of a name with a value. Is a variable for which a binding exists. Consists of a set of bindings (name: value) Has a pointer to its enclosing environment, unless it is the primitive frame. Two forms of maintaining bindings: dynamic scoping. Method used to define the scope and extend of variables in. It is as if the return address is used to find the environments of its callers: lexical scoping. Method used to define scope and extent of variables in. Requires keeping track of the lexical order as well as the dynamic execution order at runtime. Implies that a procedure call can be more expensive. Consists of a set of contours each corresponding to a given. Create a new frame in which the formal parameter names of the functions are bound with the results of evaluating the operands. Add this frame to the new environment created within the ep of the procedure.