Go up to Top Go forward to Abstract Syntax

Variable Declarations

• Alias abstraction.
  • Naming of an allocated location.
• Variable declaration.
  • Allocation of a fresh location.
  • (Potentially) initialization.
  • Binding to identifier.
• Part command and part abstraction.
  • Core language construct?
  • Eagerly evaluated abstraction!