CSE 401, Au '02: Assignment #4, Due Friday, 11/15/02

University of Washington Department of Computer Science & Engineering

CSE 401, Au '02: Assignment #4, Due Friday, 11/15/02 but no later please.

CSE Home

About Us

Contact Info

Individual homework

Nada.

Project

Finish your changes to the parser so you parse arrays, functions, and return statements.

Implement typechecking and semantic analysis for the extended PL/0 language. Basically after you finish this assignment, your compiler will only accept legal programs written in the extended language. 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.

Think of a pet feature that you'd like to implement, and talk to us. That feature could be involve changing the syntax, or could be some optimization.

Turn in printouts for all files that you modify substantially. 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:

your files and test cases electronically, and
paper turnin of:
- print outs of your changed implementation, with your changes clearly highlighted with highlighter pen,
- a complete list of the semantic errors you think your typechecker should catch, with a short desciption of each, and
- a description of the tests you tried to verify that it catches these errors. (Note that there should be a lot of overlap here - you can list the semantic errors you think your typechecker should catch and just say, "We tested each of these individually." If you test programs with multiple errors, be sure to mention what combinations you tried.)

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.