15-819K Logic Programming
Lecture 25: Substructural Operational Semantics

• Reading: Lecture Notes
• Code: 25-ssos
• Concepts:
  • Natural semantics
  • Substructural operational semantics
  • Modularity in semantic specification
  • Mutable store
  • Continuations
  • Substructural properties
  • Substructural operational semantics in LolliMon
• Previous lecture: Metavariables
• Next lecture: Datalog

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning