開發者 tycho.sf.net

Tycho 是一個用 JAva 編寫的類型檢查器生成器，設計用於使用基於 JAVA 的解析器生成器 SableCC 生成的解析器。它生成類型檢查器，這些檢查器遍歷給定的解析樹，並檢查輸入程式是否類型安全。