The course uses these books for syntax analysis and program analysis:

The library has several copies of the English version of the book.


The following books are among the "standard" compiler textbooks:


The following textbooks are standard references for loop transformations:


The following textbook provides a good introduction into the theory of polyhedra and linear programming:


The project for this course is written in C++. Deep knowledge and long experience with C++ is not required for the course (but may come as a side effect of completing the project). Nevertheless, the following book can be helpful to get a grasp on the programming language:

Recommendations for further reading on C++ can be found at

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.