|Format||Lecture course with lab sessions and project work|
|Block||4 (Feb 4 - Mar 29, 2019)|
|Study Guide||Click here.|
To develop a profound understanding about the inner workings of compilers and the ability to design and implement compilers for any purpose.
As implementations of programming languages compilers are integral parts of any computing system software stack. The more general task of compilers to transform structured text from one format to another is ubiquitous in all areas of computer science. Step-by-step the course covers all aspects of modern compiler design and implementation: lexical and syntactical analysis, context/type checking and inference, high-level code transformations/optimisations, target code generation and the interplay between compilers and runtime/operating systems. A model programming language that exposes common imperative programming features, as found in languages such as C, Pascal or Java, serves as a case study throughout the course. Organised in the form of a software engineering project participants develop a fully-fledged compiler for this language targeting a virtual machine similar to the Java Virtual Machine.
|Lecturer||Dr Clemens Grelck|
Jelle van Dijk
See Datanose for all details.
See Datanose for all details. During the first week of the course (lectures and labs) we will explain the project assignment and provide you with an in-depth introduction to the compiler construction framework used during the course. Your presence during these sessions is essential!!
|Exam||We have no written exam; the final grade is determined by assessment of the project and the weekly assignments.|
|Grading||Compiler (60%), Report (10%), Assignments (30%)
You need a minimum grade of 5.0 in each category to pass the course!
Both the project and the weekly assignments are to be worked on (!) and submitted in groups of two students.
If we have reason to believe that the workload and contributions in a group are not reasonably equivalent, we reserve the right to conduct individual assessments.
|Slides||Slides will be made available on Canvas after each lecture.|
In the project we implement a fully-fledged compiler for a non-trivial model language named CiviC
("Civilised C"). The language combines essential ideas from C, Pascal and Fortran
into a fairly simple language design that allows us to focus on essential concepts in
compilation techniques rather than providing support a complete real world programming
language. The complete language, including all extensions, features the usual structured
programming constructs (loops and branches), modules with information hiding and
separate compilation, nested function definitions with private scopes and, last not
least, fully-fledged multi-dimensional arrays.
|Assignments||The purpose of the theoretical assignments is to deepen your understanding of compiler construction and to complement the practical work undertaken in the project. The assignments will be made available on Canvas.|
The UvA mailing list CoCo2019
serves as the primary medium of communication between
lecturers and participants as well as among participants themselves.
Subscription to the mailing list is controlled and restricted to participants of the course.
Traffic on the mailing list is archived; access to the archives is restricted to participants.
The UvA mailing list CoCo2019-Team serves as a convenient way to reach all members of the teaching team at once. Participants of the course are permitted to post to this mailing list, but are not subscribed to it.
The course features two guest lectures by renowned industrial compiler experts. Each lecture is planned to take about 45 minutes including questions. Before or after the usual break we will pusrsue our regular programme.
February 21, 2019:
February 28, 2019
|Background Material||Bison Manual|
The course does not follow any specific text book.
The following list summarises a number of interesting textbooks on various
aspects of the course.
While books are always a helpful source of background information,
I do not expect participants of the course to buy any or all of these,
nor do I receive revenues from any of these books.