Go backward to Implementation Go up to Top Go forward to Formal Specifications

Evaluation

• Interpretation
  • Execution of the program.
  Interpreter defines meaning (by its actions).
• Compilation
  • Transformation of the program into an equivalent version in the machine language.
  Compiler preserves meaning (by notion of "equivalence").