FI:I011 Programming Language Semantics - Course Information
I011 Programming Language Semantics
Faculty of InformaticsAutumn 1997
- Extent and Intensity
- 2/0. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
- Teacher(s)
- prof. RNDr. Jiří Zlatuška, CSc. (lecturer)
- Guaranteed by
- Contact Person: prof. RNDr. Jiří Zlatuška, CSc.
- 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.
- Language of instruction
- Czech
- Teacher's information
- http://www.fi.muni.cz/~srba/I011.html
- Enrolment Statistics (Autumn 1997, recent)
- Permalink: https://is.muni.cz/course/fi/autumn1997/I011