Here is the source code for the Java programs given in this appendix.

Section           Program
B.3                  Abstract Syntax of Jay
B.4                  Type Checking Functions for Jay
B.5                  Semantics of Jay