Lab: Operational Semantics in Prolog

(Programming Paradigms and Formal Semantics)

© 2009–2010, Ralf Lämmel, Universität Koblenz-Landau

  1. Student presentations on previous assignment
  2. Reference solution for previous assignment
  3. Mapping of compositional semantics to Prolog
  4. Mapping of natural semantics to Prolog
  5. Compositional semantics for While's expressions
  6. Natural semantics for While's statements
  7. Introduction to the new assignment