Work Note 6, DM546, Spring 2016
Lecture February 18
-
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 4
IMADA's Computer Lab has been reserved and is used for this exercise slot,
so show up there.
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
As also pointed out in the above, the exercises on March 4 take place
in IMADA's Computer Lab.
Last modified: Sun Feb 14 12:57:09 CET 2016
Kim Skak Larsen
(kslarsen@imada.sdu.dk)