Go backward to Compiler's Symbol Table Go up to Top Go forward to Evaluation Functions

Static and Dynamic Semantics

• Static semantics
  • Part of semantics definition that use environment to resolve context questions.
  • Type-checking, scope resolution, storage calculations.
• Dynamic semantics
  • "Real" production of meanings.
  • Code generation and execution.

No clear separation.