HANNE RIIS NIELSON and FLEMMING NIELSON Computer Science Department, Aarhus University The course will cover the foundations of structural operational
semantics (where computations consist of many small steps) and
natural semantics (where computations consist of one big step).
It will show how to describe the semantics of declarative as well
as imperative language constructs and will also touch upon non-sequential
constructs. The course will present proof principles for operational
semantics and investigate the relationship between the two approaches
to operational semantics. Problems from areas such as compiler
construction, software validation, and program verification will
be used to demonstrate the practical utility of semantics. The course will primarily be based on selected chapters from "Semantics
with Applications: A Formal Introduction" by Hanne Riis Nielson
and Flemming Nielson (Wiley Professional Computing, ISBN 0 471
92980 8).
Computation
OPERATIONAL SEMANTICS WITH APPLICATIONS
Advanced course
First week
hrn@daimi.aau.dk and fn@daimi.aau.dk
Course description
Prerequisites
None
Literature
Lecture material (for the entire book) is available at http://www.daimi.aau.dk/~bra8130/Wiley_book/wiley.html