[ Course Documents ] : [ Names and Binding ]

Course Documents Next Keyword Index

Names and Binding

Handout:

PDF File (11pp., 492K)

Outline

• Names (User-defined Identifiers)
• More Design Issues
• Identifiers Have 6 Attributes
  • 6 Attributes (cont.)
  • 6 Attributes (cont.)
• Binding
  • Static and Dynamic Binding
  • Type Bindings
  • Static Type Binding
  • Dynamic Type Binding
  • Storage Bindings
  • Categories of Variables by Lifetimes
    • Static Lifetime
    • Stack-Dynamic Lifetime
    • Explicit Heap-Dynamic Lifetime
    • Implicit Heap-Dynamic Lifetime
• Type Checking
  • Type Errors
  • Strong Typing
  • Type Compatibility: Name Equiv.
  • Type Compatibility: Structural Equiv.
• Scope
  • Static (Lexical) Scope
  • Variable Hiding
  • Dynamic Scope
  • Example
  • Static vs. Dynamic Scoping
• Referencing Environments
• Variable Initialization