lecture13--Scoping&Binding

lecture13--Scoping&Binding - Scope Denoted values...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
11/22/2010 1 T. METIN SEZGIN NOV 16 2009 Lecture 12 LETREC PROC is ex; long live LETREC PROC had its limitations No recursive procedures Define a language with recursive procedures Specification Syntax Semantics Representation Implementation LETREC The idea The new grammar LETREC Extend the environment recursively How should environment lookup work? If the search variable matches a recursive procedure If there is no match Example Example cont.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
11/22/2010 2 The new environment and apply-env T. METIN SEZGIN NOV 18 2009 Lecture 13 Denoted values Variables References Declarations Semantics Binding
Background image of page 2
Background image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Scope Denoted values Variables References Declarations Semantics Binding Scope we need rules to define scoping Scoping Static scoping Declarations and references can be matched without code execution Search “outward” Dynamic scoping Declarations and references are matched during code execution 11/22/2010 3 Concepts Shadowing Holes Extent Duration of the binding Contour diagram Helps resolving bindings Lexical depth Another example How are the binding rules defined? How are the binding rules defined?...
View Full Document

Page1 / 3

lecture13--Scoping&Binding - Scope Denoted values...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online