Section                       Program
4.3, 4.4                        AbstractSyntax.java, StaticTypeCheck.java, Semantics.java
Exercises 4.12, 4.13       You may use the sample Jay program program.jay as input to test your implementation.
                                        Use parser.java, typechecker.java, and interpreter.java as drivers for your implementation.
                                        Use the text files parser.output, typechecker.output, and interpreter.output as a basis for testing
                                        your finished parser, type checker, and interpreter for correctness.  The following sample Jay
                                        programs have various kinds of errors; these can be used as input to test your syntactic and
                                        type checking functions more thoroughly.

program0.jay
program1.jay
program2.jay
program3.jay
program4.jay
program5.jay
program6.jay
program7.jay
program8.jay
program9.jay
program91.jay