good stuff! This'll make a great super large print.
:) Thanks Winn... Maybe I should...!!!
JVMThe imperative core JavaI of JavaStatic semantics of JavaTransition rules for Java Static semantics of JavaC The procedural extension JavaC of JavaIStatic semantics of JavaCTransition rules for JavaCThe object-oriented extension JavaO of JavaC Static semantics of JavaO