Weekly Note 5, DM18, Spring 2007
Lecture February 16
-
Symbol tables and type check.
Background material: Appel Chapter 5.
Exercises February 22
-
Test the solutions to the extensions to
tiny expressions
that you made on Weekly Note 4 in Bison.
The extensions were a modulo operator %
and an absolute value funktion |_|.
In the action parts associated with the rules in the
Bison definition file, write out the expression again,
but with enough parentheses that you can verify the parsing result.
-
Discuss and make a list of undefined elements of the
Tigris
language.
The list should be divided into topics depending on which phase
is responsible for dealing with the problem.
You can go through each construction and consider what should be
legal and what the meaning should be.
There will often be more than one definition which is meaningful.
One example of a topic you should consider is equivalence of
record-constructions, i.e., how similar will you require that
record types should be before you allow comparisons and
assignments?
Also type definitions should be discussed. What can you allow in terms
of named types used in the definitions of new types?
-
Discuss part 2 of the project with your group. Think of what
you have learned in the course so far concretely in terms of the
project. Discuss uncertainties with your instructor.
With regards to literature and material on bison, see the
literature page.
Announcements
-
All students who have decided to use DM18 as their bachelor project
should see IMADA's secretary, Lone Seidler Petterson, as soon as
possible to sign the official request.
Please do this no later than Tuesday, February 20, 2007, at noon.
The secretary can be away from her office for shorter periods of time.
-
You can check the
status of your project
via the course home page.
For instance, when you turn in a project part, you can verify that it
has been received (allow for a little time for me to register this).
You can also verify when your project has been registered as
approved.
You will need to use the e-mail address registered on the
list
of participants.
Last modified: Tue Feb 13 12:10:49 CET 2007
Kim Skak Larsen
(kslarsen@imada.sdu.dk)