Tycho は Java で書かれたタイプチェッカージェネレータで、Java ベースのパーサージェネレータである SableCC によって生成されたパーサーを操作するように設計されています。特定の解析ツリーを走査し、入力プログラムがタイプ セーフかどうかをチェックするタイプチェッカーを生成します。
バージョン履歴
- バージョン N/A に転記 2011-08-08
いくつかの修正と更新 - バージョン N/A に転記 2011-08-08
プログラムの詳細
- カテゴリ: ネットワークとインターネット > 他
- パブリッシャー: tycho.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows