I011 Programming Language Semantics

Faculty of Informatics
Autumn 1998
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
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
The course is also listed under the following terms Autumn 1995, Autumn 1996, Autumn 1997, Spring 2000, Autumn 2000, Autumn 2001.
  • Enrolment Statistics (Autumn 1998, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn1998/I011