Tycho

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

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