Course detail

Compiler Construction (in English)

FIT-VYPaAcad. year: 2019/2020

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

Mode of study

Not applicable.

Guarantor

prof. RNDr. Alexandr Meduna, CSc.

Department

Department of Information Systems (UIFS)

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.

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

Course curriculum

Not applicable.

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.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Not applicable.

Type of course unit

Lecture

39 hod., optionally

Teacher / Lecturer

Ing. Zbyněk Křivka, Ph.D.
prof. RNDr. Alexandr Meduna, CSc.

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 hod., compulsory

Teacher / Lecturer

Ing. Jakub Martiško
Ing. Zbyněk Křivka, Ph.D.
Ing. Radim Kocman, Ph.D.
Ing. Tomáš Dvořák

Syllabus

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

VUT

Faculties

University Institutes

Parts

Compiler Construction (in English)

Type of course unit