WebHome
- Education Page
- Description
- Literature
- Schedule
- Assignments
- Tools & software
- Grades

Center
Master Program

Course Schedule

Ipt

---++ Schedule, lectures & presentations

From the available slots (18 in total), not all opportunities for lectures will be used, the schedule will probably be slightly adapted during the course. I will announce changes on the news. 

I will attach pdf files of my lectures to the schedule. At the moment the pdf files from last year are attached to the schedule. Some of these files will change. If I upload a new file I will announce this on the news.

Apart from an exam, the course requires you to participate in and submit 3 lab exercises. The goal of the first lab is familiarize yourself with the tools used during this course, the second lab focusses on code generation and the third lab on type systems. Deadlines and references to required tools and starting material are included in the following table. Combisessions usually will be split in a part where one of the relevant paper-only exercises (exercise nr in _italic_ font) is worked out in detail, and a part which will be spent on the current lab exercise.


Preliminary schedule:

| *Date*      | *Day* | *Lecture* | *Combisessions, exercises (for associated lectures), material needed* |
| 13/11/2006  | Mon   | Overview ([[%ATTACHURL%/010-Overview.pdf][pdf]]), A very simple compiler ([[%ATTACHURL%/015-simplecompiler.pdf][pdf]]) ([[%ATTACHURL%/Replace.lhs][code]]) | No combisession |
| 15/11/2006  | Wed   | Parser Combinators ([[%ATTACHURL%/020-ParserCombinators.pdf][pdf]]) | _2.1-2.2_, 2.3-2.4  |
| 20/11/2006  | Mon   | Syntax Directed Translation + AG intro (+repmin) ([[%ATTACHURL%/030-SyntaxDirTransl.pdf][pdf]]), See also [[http://www.haskell.org/tmrwiki/WhyAttributeGrammarsMatter][Why attribute grammars matter]] | _3.1_, 4.1 |
| 22/11/2006  | Wed   | AG examples and expressie 'interpreters' (conditionals, type checking) [[%ATTACHURL%/040-AGExpr.pdf][pdf]] | _4.1_, 4.4, (4.2), lab |
| 27/11/2006  | Mon   | Guest lecture by Bastiaan Heeren ([[%ATTACHURL%/IPT-42bastiaan.pdf][pdf]])| _4.1_, 4.4, lab |
| 29/11/2006  | Wed   | _  | lab |
| 1/12/2006   | Fri   | Deadline lab exercise 1 (tuples) | appendix A.4, page 147 of the lecture notes and CourseSoftware. <br> Goal is to refresh knowledge about parsercombinators and become familiar with the AG system. |
| 4/12/2006   | Mon | Doaitse Swierstra: [[%ATTACHURL%/AgTutorial-org.pdf][The Ehrfurt Attribute Grammars tutorial]] | - |
| 6/12/2006   | Wed | Code generation ([[%ATTACHURL%/050-CodeGen-basic.ppt.pdf][pdf]])  | _6.2_, 6.3 |
| 11/12/2006  | Mon | Code generation for functions ([[%ATTACHURL%/060-CodeGen-func.pdf][pdf]]) | _6.6_  |
| 13/12/2006  | Wed | - | _6.9_, 6.10 |
| 18/12/2006  | Mon | - | _6.14_, 6.12 |
| 20/12/2006  | Wed | - | cont'd |
| 22/12/2006  | Fri | deadline lab exercise 2 (static link optimisation) | appendix A.5, page 148 of the lecture notes and CourseSoftware. <br> Goal is to learn how the stackmachine and codegeneration works (by changing a small part of the code generation). |
| Christmas | | | |
| 8/1/2007  | Mon | Type inference ([[%ATTACHURL%/TypeInfer.pdf][pdf]]). ([[http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf][For background, see also Proofs are Programs: 19th Century Logic and 21st Century Computing]]) | _7.2_, 7.3  |
| 10/1/2007  | Wed | Jur Hage: Program analysis ([[%ATTACHURL%/ipt-apa.pdf][pdf]]) | _7.3_, 7.5-6 |
| 15/1/2007  | Mon | AG implementation of type inferencing (from lab exercise) ([[%ATTACHURL%/080-TypeSystems-AG.pdf][pdf]]) | _7.5_, 7.9, lab |
| 17/1/2007  | Wed | Lex Augusteijn (Silicon Hive/Philips): backends | exercises continued, lab |
| 22/1/2007  | Mon | Karel Th&ouml;nissen (Garabit): aspects of compilers in software development  | lab   |
| 24/1/2007  | Wed | Conclusions ([[%ATTACHURL%/Final.pdf][pdf]]). Guest lecture by Atze Dijkstra ([[%ATTACHURL%/20060125-slides-overview.pdf][pdf]])| lab |
| 26/1/2007  | Fri | deadline lab exercise 3 (type inference explanation) | appendix A.8, page 150 of the lecture notes and CourseSoftware. <br> Goal is to learn how how type inferencing works (by incorporating explanation generation for it in the type inferencer). |
| 31/1/2007  | - | Exam | - |

   * [[%ATTACHURL%/Final.pdf][Final.pdf]]:

Topic attachments
I	Attachment	Action	Size	Date	Who
pdf	030-Prelude.pdf	manage	54.0 K	21 Nov 2005 - 09:52	JohanJeuring
pdf	030-SyntaxDirTransl.pdf	manage	218.6 K	17 Nov 2005 - 15:16	JohanJeuring
pdf	040-AGExpr.pdf	manage	143.7 K	23 Nov 2005 - 11:35	JohanJeuring
pdf	050-CodeGen-basic.ppt.pdf	manage	169.3 K	08 Dec 2005 - 12:47	JohanJeuring
pdf	20060125-slides-overview.pdf	manage	406.6 K	25 Jan 2006 - 12:44	JohanJeuring
pdf	IPT-42bastiaan.pdf	manage	120.9 K	02 Dec 2005 - 17:04	BastiaanHeeren
lhs	Replace.lhs	manage	14.1 K	16 Nov 2005 - 14:17	JohanJeuring
pdf	TypeInfer.pdf	manage	238.4 K	16 Jan 2006 - 11:01	JohanJeuring