Chapter 3 software

Here is the source code for the typechecking and semantics classes of Jay, which are discussed in this chapter.

Section          Program
3.1, 3.5          AbstractSyntax.java
3.1                 StaticTypeCheck.java
3.2, 3.5          Semantics.java