Course detail
Compiler Construction (in English)
FIT-VYPaAcad. year: 2023/2024
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.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Offered to foreign students
Entry knowledge
Rules for evaluation and completion of the course
- Mid-term exam in written form - 15 points
- Evaluated project(s) - 30 points
- Final written examination - 55 points
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.
Aims
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.
Study aids
Prerequisites and corequisites
Basic literature
K.D. Cooper, L. Torczon: Engineering a Compiler, 3rd edition. Morgan Kaufmann, 2022. (EN)
A.V. Aho, M.S. Lam, R. Sethi, J.D. Ullman: Compilers: Principles, Techniques, and Tools, 2nd edition. Pearson Education, 2006. (EN)
Recommended reading
D. Grune: Modern Compiler Design, 2nd edition. Springer, 2016. (EN)
D. Thain: Introduction to Compilers and Language Design, 2nd edition. Independently published, 2020. (EN)
D. Watson: A Practical Approach to Compiler Construction. Springer, 2017. (EN)
J. I. Moore: Introduction to Compiler Design: An Object-Oriented Approach Using Java, 2nd edition. SoftMoore Consulting, 2020. (EN)
R. Wilhelm, H. Seidl: Compiler Design: Virtual Machines. Springer, 2010. (EN)
T.Æ. Mogensen: Introduction to Compiler Design, 2nd edition. Springer, 2017. (EN)
Elearning
Classification of course in study plans
- Programme IT-MSC-2 Master's
branch MGMe , 0 year of study, winter semester, compulsory-optional
- Programme IT-MSC-2 Master's
branch MIS , 0 year of study, winter semester, compulsory-optional
branch MBS , 0 year of study, winter semester, elective
branch MPV , 0 year of study, winter semester, elective
branch MIN , 0 year of study, winter semester, elective
branch MGM , 0 year of study, winter semester, elective
branch MBI , 0 year of study, winter semester, elective
branch MSK , 0 year of study, winter semester, elective
branch MMM , 0 year of study, winter semester, compulsory - Programme MIT-EN Master's 0 year of study, winter semester, compulsory
- Programme MITAI Master's
specialization NSPE , 0 year of study, winter semester, elective
specialization NBIO , 0 year of study, winter semester, elective
specialization NSEN , 0 year of study, winter semester, elective
specialization NVIZ , 0 year of study, winter semester, elective
specialization NGRI , 0 year of study, winter semester, elective
specialization NADE , 0 year of study, winter semester, elective
specialization NISD , 0 year of study, winter semester, elective
specialization NMAT , 0 year of study, winter semester, compulsory
specialization NSEC , 0 year of study, winter semester, elective
specialization NISY up to 2020/21 , 0 year of study, winter semester, elective
specialization NCPS , 0 year of study, winter semester, elective
specialization NHPC , 0 year of study, winter semester, elective
specialization NNET , 0 year of study, winter semester, elective
specialization NMAL , 0 year of study, winter semester, elective
specialization NVER , 0 year of study, winter semester, elective
specialization NIDE , 0 year of study, winter semester, elective
specialization NEMB , 0 year of study, winter semester, elective
specialization NISY , 0 year of study, winter semester, elective
specialization NEMB up to 2021/22 , 0 year of study, winter semester, elective - Programme IT-MGR-1H Master's
specialization MGH , 0 year of study, winter semester, recommended course
Type of course unit
Lecture
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
Teacher / Lecturer
Syllabus
- Making an advanced compiler.
- Preparation and presentation of a selected topic about compilers.
Elearning