Course detail
Compiler Construction (in English)
FIT-VYPaAcad. year: 2020/2021
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.
Supervisor
Department
Offered to foreign students
Of all faculties
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.
Prerequisites
Basic knowledge of discrete mathematics.
Co-requisites
Not applicable.
Recommended optional programme components
Not applicable.
Recommended or required reading
Č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)
Grune, D.: Modern Compiler Design, 2nd Edition, Springer, 2016, 846 p., ISBN 9781493944729
Cooper, K.D.: Engineering a Compiler, San Francisco, Morgan Kaufmann, 2004, 879 p., ISBN 155860698X
Wilhelm, R., Seidl, H.: Compiler Design: Virtual Machines, Springer, 2010, 187 p., ISBN 978-3-642-14908-5
Planned learning activities and teaching methods
Not applicable.
Assesment methods and criteria linked to learning outcomes
- Mid-term written examination - 15 point
- Evaluated project(s) - 30 points
- Final written examination - 55 points
Language of instruction
English
Work placements
Not applicable.
Aims
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
In case of illness or another serious obstacle, the student should inform the faculty about that and subsequently provide the evidence of such an obstacle. Then, it can be taken into account within evaluation:
- The student can ask the responsible teacher to extend the time for the project assignment.
- If a student cannot attend the mid-term exam, (s)he can ask to derive points from the evaluation of his/her first attempt of the final exam.
- If a student cannot attend the defense of the project and the other team members agree with that (s)he can earn the same points from the project defence as for present members.
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 - Programme IT-MGR-2 Master's
branch MGMe , any year of study, winter semester, 5 credits, compulsory-optional
- Programme IT-MGR-2 Master's
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 MITAI Master's
specialization NADE , any year of study, winter semester, 5 credits, elective
specialization NBIO , any year of study, winter semester, 5 credits, elective
specialization NGRI , any year of study, winter semester, 5 credits, elective
specialization NNET , any year of study, winter semester, 5 credits, elective
specialization NVIZ , any year of study, winter semester, 5 credits, elective
specialization NCPS , any year of study, winter semester, 5 credits, elective
specialization NSEC , any year of study, winter semester, 5 credits, elective
specialization NEMB , any year of study, winter semester, 5 credits, elective
specialization NHPC , any year of study, winter semester, 5 credits, elective
specialization NISD , any year of study, winter semester, 5 credits, elective
specialization NIDE , any year of study, winter semester, 5 credits, elective
specialization NISY , any year of study, winter semester, 5 credits, elective
specialization NMAL , any year of study, winter semester, 5 credits, elective
specialization NMAT , any year of study, winter semester, 5 credits, compulsory
specialization NSEN , any year of study, winter semester, 5 credits, elective
specialization NVER , any year of study, winter semester, 5 credits, elective
specialization NSPE , any year of study, winter semester, 5 credits, elective - Programme IT-MGR-1H Master's
branch MGH , any year of study, winter semester, 5 credits, recommended
Type of course unit
Lecture
39 hours, optionally
Teacher / Lecturer
Syllabus
- 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.
Project
13 hours, compulsory
Teacher / Lecturer
Syllabus
- Making an advanced compiler.
- Preparation and presentation of a selected topic about compilers.