Tycho is a typechecker generator written in Java, designed to work with parsers generated by SableCC, the Java-based parser generator. It generates typecheckers which traverse a given parse tree and check whether the input program is type-safe or not.
VERSION HISTORY
- Version N/A posted on 2011-08-08
Several fixes and updates - Version N/A posted on 2011-08-08
Program Details
- Category: Network & Internet > Other
- Publisher: tycho.sf.net
- License: Free
- Price: N/A
- Version: Array
- Platform: windows