Semantics of programming languagesDFDA210, 2008VT
|
|
Course plan
No of lectures
~ 10 * 2h
Recommended for
The course was last given
New course.
Goals
Introduction to formal description techniques for defining semantics
of programming languages.
The intention is to give a solid overview of classical approaches
to semantics of programming languages. We believe this knowledge is
necessary for everybody interested in tools and/or formal methods
dealing with program correctness.
Prerequisites
Some degree of mathematical maturity; courses on discrete mathematics,
mathematical logic, and formal languages. Some programming
experience and familiarity with a few programming languages.
Organization
Lectures
Contents
The core of the course:
- operational semantics (small step and big step approach)
- denotational semantics, including its mathematical foundations,
- axiomatic semantics, proving program correctness, and basics of
systematic construction of provably correct programs.
Additional subjects under consideration
Literature
Main textbook:
Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: An
Appetizer. Springer, 2007 (to appear).
Lecturers
W. Drabent
Examiner
W. Drabent
Examination
Home assignments
Credit
4,5 hp (3 p)
Comments
The course is based on TDDA43 programmeringsteori.
Page responsible: Director of Graduate Studies