Structured Operational Semantics Course

(An Introductory Course at ESSLLI 2010, Copenhagen, Denmark)

Books

• F. Nielson and H.R. Nielson, Semantics with Application: An Appetizer, 2nd Ed., Springer, 2007.
• H. Huttel, An Introduction to Structural Operational Semantics, Cambridge, 2009.
• M. Hennessy, The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics, John Wiley & Sons, 1990. Available from from here
• Our humble reader!

Handouts

• Session 1:
  • Introduction
  • Formal Semantics: An Overview
    
• Session 2:
  • Transition System Specification
    
• Session 3:
  • Semantics of Negative Premises
    
  • Behavioral Equivalences
    
• Session 4:
  • Implementation
  • A Vending Machine in Maude
  • SIMP in Maude
• Session 5:
  • SOS Meta-Theory
  • Conclusions