Logo University of Washington Department of Computer Science & Engineering
 CSE 401Sp '02: Assignment #4, Due Friday, 5/10/02
  CSE Home  About Us    Search    Contact Info 

Individual homework

None this week.


Implement typechecking and other semantic checking and analysis for the extended PL/0 language. This assignment involves not only coding the type checking, but deciding what type checking should be done (which may be harder!). 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.

For your debugging pleasure, you can run the extended compiler with the "-p -s -S" options to print the abstract syntax tree, the symbol table, and then stop.

Turn in printouts for {decl,expr,stmt}.tc.c, symtab.{h,c}, type.{h,c}, and any other files that you modify substantially. (You may need to change some of your AST .h files, because methods you had only declared are now actually going to be implemented; however, these changes are probably minor; you don't have to turn in printouts for them in that case.) Turn in your whole working directory electronically as usual, even if you only changed a couple of files.

As usual, turn in only one solution per group, including:

As usual, you will be graded on the thoroughness, correctness, clarity and good design of your implementation, and on sufficiency of your test cases.

Since this chunk of the project is fairly sizable, please begin early on your design and implementation! Making a list of those checks you need to include might be a good place to start. We strongly recommend that you complete implementation of some portion of this phase (say, typechecking expressions), before the midterm.

Reminder: Midterm Monday 5/6/02