CSE 401, Sp '03: Assignment #3.5, Due in class Friday, 5/2/03

CSE Home

About Us

Search

Contact Info

Individual homework

Project

The  goal is to ease the effort of type checking your project by building a specification of what must be done during the type checking pass.  (This will be good study preparation for the test, too.)

As usual, turn in only one solution per group.

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

• The name and structure of the node
• The type checking information "received" recursively from descendent nodes, if any
• The type checking required for the node
• The information, if any, "passed" to the parent node

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

Turn in:

• a written document of the Type Checking Specification list

	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]