Work Note 6, DM546, Spring 2015
Lecture February 20
-
Type checking.
-
Code generation.
Background material: Appel Chapters 5, 7, 8, 9.
In this course, we have a slightly different focus from that in
the textbook. As a consequence, we will take a simpler and more direct
approach to code generation. Thus, it is recommended that you
merely skim over the material in the book before the lecture
and read after the lecture to the extent that you need the material.
You can find support for my approach at the lecture in the
Supplementary Notes for DM546.
Exercises March 6
As announced on the previous work note, this exercise session is
a continuation of the one from last exercise session. Work on problems
from that work note, get things actually running, implement
variations to get hands-on experience with concepts you
find unclear. Among other things, work on getting the example
developed at the previous exercises on nested scope and
static link running. You can also develop your own examples.
For instance, a variation of the factorial example where you place
the factorial function in an inner scope of another function,
and have factorial modify a variable in its parent scope
before returning a value.
Announcements
Relative to the course schedule announced by the faculty, we make
the following adjustment: The exercises on Friday in week 8 will
be changed to a lecture, and the lecture on Tuesday in week 10 will
be changed to exercises. These work notes will reflect the changes,
so if you just follow them, you will not be surprised.
For the exercises in week 10, you should show up in IMADA's terminal room.
Last modified: Mon Feb 16 10:41:55 CET 2015
Kim Skak Larsen
(kslarsen@imada.sdu.dk)