Lab: Operational Semantics in Prolog
(Programming Paradigms and Formal Semantics)
© 2009–2010, Ralf Lämmel, Universität Koblenz-Landau
- Student presentations on previous assignment
- Reference solution for previous assignment
- Mapping of compositional semantics to Prolog
- Mapping of natural semantics to Prolog
- Compositional semantics for While's expressions
- Natural semantics for While's statements
- Introduction to the new assignment