プログラム tycho.sf.net

Tycho は Java で書かれたタイプチェッカージェネレータで、Java ベースのパーサージェネレータである SableCC によって生成されたパーサーを操作するように設計されています。特定の解析ツリーを走査し、入力プログラムがタイプ セーフかどうかをチェックするタイプチェッカーを生成します。