FIT-VYPaAcad. year: 2017/2018
This course discusses the construction of compilers in detail. This discussion concentrates on the following three topics: (I) Advanced topics of classical compilers: LR-table construction, general precedence analysis, general methods of syntax analysis, advanced methods of optimization. (II) Principles of parallel compilers: parallel compiler structure, fundamental methods of parallel syntax analysis, basic models of parallel translation. (III) Formal translation models and their properties: transducers, translation grammars, properties of syntax directed translation, formal language properties relevant to compilers, modern translation models.
Learning outcomes of the course unit
Ability of an advanced compiler construction including parallel compiler. Deep familiarity with the theory and practice of programming language translation.
General knowledge of formal models for translation and their applications.
Basic knowledge of discrete mathematics.
Recommended optional programme components
Recommended or required reading
- Cooper, K.D.: Engineering a Compiler, San Francisco, Morgan Kaufmann, 2004, 879 p., ISBN 155860698X
- Češka, M., Ježek, K., Melichar, B., Richta, K.: Konstrukce překladačů, Praha, CZ, ČVUT, 1999, 636 p., ISBN 80-01-02028-2 (in Czech)
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Study evaluation is based on marks obtained for specified items. Minimimum number of marks to pass is 50.
Language of instruction
- Syllabus of lectures:
- Introduction: compiler structure.
- Deterministic bottom-up syntax analysis: LR table construction.
- Deterministic bottom-up syntax analysis: general precedence analysis.
- General syntax analysis: important backtrack parsing methods.
- Advanced optimization.
- Parallel compilers: parallel compiler structure.
- Parallel syntax analysis: principles.
- Deterministic methods of parallel top-down syntax analysis.
- Deterministic methods of parallel bottom-up syntax analysis.
- Parallel code generation.
- Modern formal tools for language specification: regulated and parallel models.
- Formal tools for language translation: transducers and translation grammars.
- Expected future trends; summary; conclusion.
Syllabus - others, projects and individual work of students:
(1) Making an advanced compiler. (2) Preparation and presentation of a selected topic about compilers.
Thorough grasp of compiler construction, including modern parallel compiler construction. Deep familiarity with the theory behind the translation of programming languages.
Specification of controlled education, way of implementation and compensation for absences
A written exam, creation of a project.
Classification of course in study plans
- Programme IT-MGR-2 Master's
branch MBI , any year of study, winter semester, 5 credits, elective
branch MPV , any year of study, winter semester, 5 credits, elective
branch MGM , any year of study, winter semester, 5 credits, elective
branch MSK , any year of study, winter semester, 5 credits, elective
branch MIS , any year of study, winter semester, 5 credits, compulsory-optional
branch MBS , any year of study, winter semester, 5 credits, elective
branch MIN , any year of study, winter semester, 5 credits, elective
branch MMI , any year of study, winter semester, 5 credits, elective
branch MMM , any year of study, winter semester, 5 credits, compulsory
- Programme IT-MGR-1H Master's
branch MGH , any year of study, winter semester, 5 credits, recommended
eLearning: currently opened course