Course detail
Compiler Construction
FIT-VYPeAcad. year: 2013/2014
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
Learning outcomes of the course unit
General knowledge of formal models for translation and their applications.
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Course curriculum
- Introduction.
- Deterministic bottom-up syntax analysis: LR tabel construction.
- Deterministic bottom-up syntax analysis: general precedence analysis.
- General syntax analysis: important backtrack parsing methods.
- Advanced optimization.
- Principles of parallel compilers.
- 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.
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended reading
Classification of course in study plans
- Programme IT-MSC-2 Master's
branch MBI , 0 year of study, winter semester, elective
branch MBS , 0 year of study, winter semester, elective
branch MGM , 0 year of study, winter semester, elective
branch MIN , 0 year of study, winter semester, elective
branch MIS , 0 year of study, winter semester, compulsory-optional
branch MMI , 0 year of study, winter semester, elective
branch MMM , 0 year of study, winter semester, compulsory
branch MPV , 0 year of study, winter semester, elective
branch MSK , 0 year of study, winter semester, elective
Type of course unit
Lecture
Teacher / Lecturer
Syllabus
- Introduction.
- Deterministic bottom-up syntax analysis: LR tabel construction.
- Deterministic bottom-up syntax analysis: general precedence analysis.
- General syntax analysis: important backtrack parsing methods.
- Advanced optimization.
- Principles of parallel compilers.
- 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.