Semantics of programming languages DFDA210, 2008VT Status Archive School Computer and Information Science (CIS) Division TCSLAB Owner Wlodzimierz Drabent Homepage http://www.ida.liu.se/~wlodr/phd.semantics/

Log in

---

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