Overview
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.
Features
- Type checks most Java expressions.
- Type-Checked code adds explicit casts.
- Open Source.
- Tested under Windows, Solaris, and Linux.
License
All Rights Reserved.Download
tc.zip (54 KB)