image University of Washington Computer Science & Engineering
  CSE 401Sp '04:  Assignment #4, Due Friday, 4/30/04
  CSE Home   About Us    Search    Contact Info 

Individual homework

None this week.

Project

This assignment and the next concern implementation of typechecking and other semantic checking and analysis for the extended PL/0 language. These assignments involve not only coding the type checking, but deciding what type checking should be done (which may be harder!). The next assignment (#5) will be to do the implementation. In this assignment (#4), you will build a specification of what must be done during the type checking phase. Think both about determining the type of an object and other checks that must be done to ensure that it is used legally in its context. (The goal is to ease the implementation effort for your type checking phase. And incidentally, this will be good study preparation for the midterm.)

Organize your Type Checking Specification as a list of the node types of your AST. For each node type give:

Be careful to specify which scope you refer to for any nodes that affect scope.

As usual, turn in only one solution per group, consisting of:


Reminder: Midterm Monday 5/3/04


CSE logo Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to cse401-webmaster at cs.washington.edu]