The course "Semantics of programming languages" aims to give knowledge about the role of the semantic description in the programming language specification and translation as well as in the program verification stage. The main types of formal grammars are discussed. Special attention is focused on solving semantic problems in modern programming languages: data types, language constructs, virtual machines.
The discipline is based on the preceding disciplines: “Basic Programming”, “Synthesis and Analysis of Algorithms”, “Operating Systems”, “Object-Oriented Programming - I and II part”, “Compilers and Interpreters”.
The course provides the students with a part of the theoretical and practical basis for development of diploma thesis.
- Formal grammars
- Operational, denotational, axiomatic semantics
- Definition of programming languages
- Object and data types
- Verification of programs and verification methods