Programming Languages and Compilers
- Department of Theoretical Computer Science
Students master basic methods of implementation of common high-level programming languages. They get experience with the design and implementation of individual compiler parts for a simple programming language: data types, subroutines, and data abstractions. Students are able to formally specify a translation of a text that has a certain syntax into a target form and write a compiler based on such a specification. The notion of compiler in this context is not limited to compilers of programming languages, but extends to all other programs for parsing and processing text in a language defined by a LL(1) grammar.
- Syllabus of lectures:
1. Overview of programming languages, programming paradigms. Compiler structure, virtual machine. Design and implementation of a lexer (lexical analyser).
2. LL(1) grammars, context-free to LL(1) transformation. Implementation of syntax parsing by recursive descent.
3. Translation grammars, pushdown translation automata. Attribute translation grammars.
4. Internal forms of programs, compiling and evaluating expressions. Compiling to a language of a stack machine.
5. Compiling to a syntax tree. Specification and implementation of data types.
6. Compiling typical language constructs. Specification and implementation of subroutines.
7. Specification and implementation of data abstractions.
- Syllabus of tutorials:
1. Lexer design and implementation. Parser implementation using recursive descent. Attribute translation grammars. Compiling to a language of a stack machine. Compiling to a syntax tree.  Project consultations.
- Study Objective:
After completing the course, students will be able to formally specify a translation of a text that has a certain syntax into the target form and write a compiler based on such specification. The notion of compiler in this context is not limited to compilers of programming languages but extends to all other programs for parsing and processing text in a language defined by a LL(1) grammar.
- Study materials:
1. Grune, D., Bal, H., Jacobs, C., Langendoen, K. ''Modern Compiler Design''. Wiley, 2000. ISBN 0471976970.
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans:
- Information Technology (Presented in Czech), Version 2014 (elective course)
- Computer Science (Presented in Czech), Version 2014 (compulsory course of the specialization, elective course)
- Bc. Programme Informatics, Part -Time Form of Study, in Czech, Version 2015 - 2019 (VO)
- Bc Branch Security and Information Technology, Part-Time Form, in Czech, Version 2015 to 2019 (elective course)
- Bc.Branch WSI, Specialization Software Engineering, Part-Time Form, Versionverze 2015 - 2019 (elective course)