COP 5021 Lecture -*-Outline-*- * Type Checking in JastAdd Look at TypeAnalysis.jrag in WHILE and in PicoJava.