开发者 tycho.sf.net

Tycho 是一个用 Java 编写的类型检查器生成器，设计用于使用基于 Java 的解析器生成器 SableCC 生成的解析器。它生成类型检查器，这些检查器遍历给定的解析树，并检查输入程序是否类型安全。