欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JavaCC(Java Compiler Compiler) 是一个用Java开发的最受欢迎的语法分析生成器。这个分析生成器工具可以读取上下文无关且有着特殊意义的语法并把它转换成可以识别且匹配该语法的 Java程序。它还提供JJTree等工具来帮助我们建立语法树。JavaCC plug-in,一个用于辅助JavaCC应用程序开发的Eclipse插件。
相似项目:ANTLR