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

English

Number of ECTS credits

5

Mode of study

Not applicable.

Guarantor

prof. RNDr. Alexandr Meduna, CSc.

Department

Department of Information Systems (UIFS)

Offered to foreign students

Of all faculties

Entry knowledge

Basic knowledge of discrete mathematics.

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

Thorough grasp of compiler construction, including modern parallel compiler construction. Deep familiarity with the theory behind the translation of programming languages.
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

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

A. Meduna: Elements of Compiler Design. Taylor & Francis, 2008. (EN)
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)
R. Wilhelm, H. Seidl: Compiler Design: Virtual Machines. Springer, 2010. (EN)
C.L. Jeffery: Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems. Packt Publishing, 2021. (EN)
J. I. Moore: Introduction to Compiler Design: An Object-Oriented Approach Using Java, 2nd edition. SoftMoore Consulting, 2020. (EN)
D. Thain: Introduction to Compilers and Language Design, 2nd edition. Independently published, 2020. (EN)
T.Æ. Mogensen: Introduction to Compiler Design, 2nd edition. ‎ Springer, 2017. (EN)
D. Watson: A Practical Approach to Compiler Construction. Springer, 2017. (EN)

eLearning

eLearning: currently opened course

Classification of course in study plans

  • Programme IT-MGR-2 Master's

    branch MBI , any year of study, winter semester, elective
    branch MPV , any year of study, winter semester, elective
    branch MGM , any year of study, winter semester, elective

  • Programme IT-MGR-2 Master's

    branch MGMe , any year of study, winter semester, compulsory-optional

  • Programme IT-MGR-2 Master's

    branch MSK , any year of study, winter semester, elective
    branch MIS , any year of study, winter semester, compulsory-optional

  • Programme IT-MGR-1H Master's

    specialization MGH , any year of study, winter semester, recommended

  • Programme IT-MGR-2 Master's

    branch MBS , any year of study, winter semester, elective
    branch MIN , any year of study, winter semester, elective
    branch MMM , any year of study, winter semester, compulsory

  • Programme MITAI Master's

    specialization NADE , any year of study, winter semester, elective
    specialization NBIO , any year of study, winter semester, elective
    specialization NGRI , any year of study, winter semester, elective
    specialization NNET , any year of study, winter semester, elective
    specialization NVIZ , any year of study, winter semester, elective
    specialization NCPS , any year of study, winter semester, elective
    specialization NSEC , any year of study, winter semester, elective
    specialization NEMB do 2021/22 , any year of study, winter semester, elective
    specialization NEMB , any year of study, winter semester, elective
    specialization NHPC , any year of study, winter semester, elective
    specialization NISD , any year of study, winter semester, elective
    specialization NIDE , any year of study, winter semester, elective
    specialization NISY do 2020/21 , any year of study, winter semester, elective
    specialization NISY , any year of study, winter semester, elective
    specialization NMAL , any year of study, winter semester, elective
    specialization NMAT , any year of study, winter semester, compulsory
    specialization NSEN , any year of study, winter semester, elective
    specialization NVER , any year of study, winter semester, elective
    specialization NSPE , any year of study, winter semester, elective

  • Programme MIT-EN Master's, any year of study, winter semester, compulsory

Type of course unit

 

Lecture

39 hours, optionally

Teacher / Lecturer

prof. RNDr. Alexandr Meduna, CSc.

Syllabus

  1. Introduction: compiler structure.
  2. Deterministic bottom-up syntax analysis: LR table construction.
  3. Deterministic bottom-up syntax analysis: general precedence analysis.
  4. General syntax analysis: important backtrack parsing methods.
  5. Advanced optimization.
  6. Parallel compilers: parallel compiler structure.
  7. Parallel syntax analysis: principles.
  8. Deterministic methods of parallel top-down syntax analysis.
  9. Deterministic methods of parallel bottom-up syntax analysis.
  10. Parallel code generation.
  11. Modern formal tools for language specification: regulated and parallel models.
  12. Formal tools for language translation: transducers and translation grammars.
  13. Expected future trends; summary; conclusion.

Project

13 hours, compulsory

Teacher / Lecturer

Ing. Zbyněk Křivka, Ph.D.

Syllabus

  1. Making an advanced compiler.
  2. Preparation and presentation of a selected topic about compilers.

eLearning

eLearning: currently opened course