现在我正在编写我的博士论文,为Java的新规范语言构建一个语言处理器(参见JML,或者说#的C#),需要确定一个实现工具来开始开发.语言的研究方面(语法,语义,理论结果)与我的实现选择是正交的,所以我想使用Python(2.6+)是出于我自己的原因.最终产品将是或者编译器或解释器能够验证对用Java编写的程序的一些指定的属性.
在Python中构建编译器/解释器的最佳框架/库是什么？这个问题是否包含"电池"？
奖励积分授予具有Java 6+参考编译器的解决方案.
python java compiler-construction interpreter programming-languages