Operational Semantics

Lecturer: 陳恭 Kung Chen.

The aim of this unit will be to introduce the operational approach to programming language semantics. It will show how this formalism is used to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.

Course Materials



Day 1.

  • Semantic description of programming languages
  • The While language
  • Natural semantics

Day 2.

  • Structural operational semantics
  • An equivalence result
  • Blocks and procedures


  • Riis Nielson, Hanne, Nielson, Flemming, Semantics with Applications: An Appetizer, Springer-Verlag, 2007. Chap. 1~3.
en/op.txt · Last modified: 2010/07/06 15:44 (external edit)
Recent changes · Show pagesource · Login