Note 6, DM546, fall 2019
Lecture February 21
-
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 1
IMADA's Computer Lab has been reserved and is used for this exercise slot,
so show up there.
As announced previously, this exercise session is
a continuation of previous. Work on problems
from that 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
As also pointed out in the above, the exercises on February 27 and March 1
take place in IMADA's Computer Lab.