FI:I011 Semantics - Course Information

I011 Programming Language Semantics

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

• Informatics (programme FI, B-IN)
• Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Information Technology (programme FI, B-IN)

Syllabus

• Operational semantics (natural operational semantics, structural operational semantics).
• Lambda-calculus essentials, reductions, normal forms, coding, operational semantics.
• Semantics of recursion: fixed points, Y operator, formalization using lambda-calculus.
• Types and domains, fixed points, typed lambda-calculus.
• Denotational semantics of functional and imperative languages, abstract syntax, data, memory, and control.
• Equivalence.

Literature

• SCHMIDT, David A. The structure of typed programming languages. Cambridge: MIT Press, 1994, viii, 367. ISBN 0262193493. info
• ZLATUŠKA, Jiří. Lambda-kalkul. 1. vyd. Brno: Masarykova univerzita, 1993, 264 s. ISBN 8021008261. 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

• Enrolment Statistics (Spring 2000, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring2000/I011