[ Home | Résumé | Portfolio ]
This is a type-checker for Java written in Objective Caml, an ML-like language. It performs much of the same tasks as the Java compiler before compiling a program. The type checker is how the compiler knows the program is valid Java.
- Type checks most Java expressions.
- Type-Checked code adds explicit casts.
- Open Source.
- Tested under Windows, Solaris, and Linux.
LicenseAll Rights Reserved.
Downloadtc.zip (54 KB)