Tycho

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

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

バージョン履歴

  • バージョン N/A に転記 2011-08-08
    いくつかの修正と更新
  • バージョン N/A に転記 2011-08-08

プログラムの詳細