I011 Programming Language Semantics

Faculty of Informatics
Autumn 2000
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Antonín Kučera, Ph.D.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Syllabus
  • Formal semantics of programming languages, basic paradigms (operational, denotational, and axiomatic approach).
  • Structural operational semantics and its variants.
  • Denotational semantics. Complete partial orders, continuous functions. The fixed-point theorem and its applications, semantics of recursion. Equivalence of operational and denotational semantics.
  • Axiomatic semantics. Hoare's deductive system, its correctness and completeness.
  • Temporal logics; the semantics of non-terminating and parallel programs.
Literature
  • SCHMIDT, David A. The structure of typed programming languages. Cambridge: MIT Press, 1994, viii, 367. ISBN 0262193493. info
  • WINSKEL, Glynn. The formal semantics of programming languages : an introduction. Cambridge: MIT Press, 1993, xi, 361 s. ISBN 0-262-23169-7. info
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught annually.
The course is taught: every week.
General note: v r.1999/2000 výjimečně v jarním semestru, jinak v podzimním.
Teacher's information
http://www.fi.muni.cz/~tony/I011.html
The course is also listed under the following terms Autumn 1995, Autumn 1996, Autumn 1997, Autumn 1998, Spring 2000, Autumn 2001.
  • Enrolment Statistics (Autumn 2000, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2000/I011