Entry requirements

15 points (22.5 ECTS credits) of mathematics and 20 points (30 credits) of computer science, including

courses in Algebra, Automata theory, Logic and Functional Programming.

Aims

After the course, the student should be able to understand and evaluate different kinds of semantic definitions of programming languages.

Content

Introduction: overview of semantic methods (operational, denotational and axiomatic semantics). Mathematical foundations: inductive definitions and proof techniques; complete partial orderings and fixpoint theory; basic domain theory. Comparison between operational and denotational semantics for a simple imperative language and a simple functional language. Operational semantics for cooperating processes and basic modal and temporal logics for reasoning about their properties.

Instruction

Lectures and problem solving sessions.

Assessment

Written examination at the end of the course. Moreover, the compulsory laboratory work and assignments must be passed.