System Software

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 a complement and a continuation of the course "Formal Methods in Software Engineering" 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 languages 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.
- Introduction to category theory. The rôle of categories in computer science.
- Categorical approaches to semantics of a simple procedural language (categorical denotational semantics and categorical operational semantics).
## Lecture timesTo be announced.
## ExamThere will be a written exam on ....., 17:15 - 18:15, ## Downloads |