Weekly Note 5, DM18, Spring 2007

Lecture February 16

• Symbol tables and type check.

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.

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.