Information System of Masaryk University 

Course Information

I011 Programming Language Semantics

Faculty of Informatics
Autumn 1995

Extent and Intensity

0/0. 2 credit(s). Recommended Type of Completion: zk (examination). Alternate Types of Completion: k (colloquium), z (credit).

Teacher(s)

prof. RNDr. Jiří Zlatuška, CSc. (lecturer)

Supervisor

Contact Person: prof. RNDr. Jiří Zlatuška, CSc.

Course Enrollment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

Fields of study the course is directly associated with

• Informatics (programme FI, B-IN)
• Information Technology (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)

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.

Teacher's information

http://www.fi.muni.cz/~srba/I011.html

The course is also listed under the following terms Autumn 1996, Autumn 1997, Autumn 1998, Spring 2000, Autumn 2000, Autumn 2001.

---

• Enrollment Statistics (Autumn 1995, recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn1995/I011

---