FI:I011 Programming Language Semantics - Course Information

I011 Programming Language Semantics

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. Jiří Srba, Ph.D. (lecturer)

Guaranteed by

Contact Person: Prof. Jiří Srba, 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.

Language of instruction

Czech

Further Comments

The course is taught annually.
The course is taught: every week.

Teacher's information

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

• Enrolment Statistics (Autumn 1998, recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn1998/I011