HomeGeneralStaff Contact Partners Alumni ResearchAreas Projects Papers Books Reports Awards TeachingLectures Exams B.Projects M.Theses PhD Theses Go Abroad MiscTalks Library Gallery Links Search Webmaster |
Special Topics: ## Semantics of Programming Languages
## Course Description
This course is complement and a continuation of the course "Formal Semantics of Programming Languages" in
the Major Subject "Software Engineering". ## Lecturer
Dr. William Steingartner ## Contents- Formal definition of programming languages. Abstract and concrete syntax. Review of semantic methods. Semantics of arithmetic and boolean expressions.
- Natural semantics of a simple imperative language and its properties.
- Structural operational semantics of a simple imperative language and its properties. Proof of equivalence of natural and structural operational semantics.
- Abstract implementation of a language on an abstract machine. Alternative approaches to reviewing of correctness.
- Denotational semantics. Introduction to recursive functions. Definition of fixed point. Finding of fixed point of selected functions.
- Denotational semantics of the while cycle. Equivalence of denotational and structural operational semantics.
- Action semantics as a new semantic method and its properties.
- Introduction to category theory. The rôle of categories in computer sciences. Categorical approach to semantics of simple procedural language.
## Lecture times
## ExamThere will be a written exam on Thursday April 14, 17:15 - 18:15, HS 6 ## Downloads |