[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Evaluation of Operational Semantics

• Advantages:
  • May be simple, intuitive for small examples
  • Good if used informally
  • Useful for implementation

• Disadvantages
  • Very complex for large programs
  • Lacks mathematical rigor

• Uses:
  • Vienna Definition Language (VDL) used to define PL/I (Wegner 1972)
  • Compiler work