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

English

Number of ECTS credits

5

Mode of study

Not applicable.

Guarantor

prof. RNDr. Alexandr Meduna, CSc.

Department

Department of Information Systems (UIFS)

Learning outcomes of the course unit

Ability of an advanced compiler construction. Deep familiarity with the theory and practice of programming language translation.

General knowledge of formal models for translation and their applications.

Prerequisites

There are no prerequisites

Co-requisites

Not applicable.

Planned learning activities and teaching methods

The course uses teaching methods in form of Lecture - 3 teaching hours per week, Projects - 1 teaching hour per week.

Assesment methods and criteria linked to learning outcomes

Study evaluation is based on marks obtained for specified items. Minimimum number of marks to pass is 50.

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

Not applicable.

Aims

Thorough grasp of compilers, 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

A written exam, creation of a project.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Cooper, K.D. : Engineering a Compiler, San Francisco, Morgan Kaufmann, 2004, 879 p., ISBN 155860698X 

Recommended 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)

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

39 hod., optionally

Teacher / Lecturer

prof. RNDr. Alexandr Meduna, CSc.

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.

Project

13 hod., optionally

Teacher / Lecturer

prof. RNDr. Alexandr Meduna, CSc.