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.

• Slides.
• Exercise 1(solutions).
• Exercise 2(solutions).
• Exercise 3.

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

• 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.