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 Document Right 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

{[ snackBarMessage ]}

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