Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。
想要改善这个问题吗？更新问题，以便将其作为on-topic用于堆栈溢出。
5年前关闭。
Improve this question
现在，我正在写我的博士学位提案，为Java的新规范语言(参见JML或C#的SpeC#)构建语言处理器，并且需要确定一种实现工具才能开始开发。语言的研究方面(语法，语义，理论结果)与我选择的实现正交，因此出于自身原因，我想使用Python(2.6+)。最终产品将是能够验证用Java编写的程序的某些指定属性的编译器或解释器。
在Python中构建编译器/解释器的最佳框架/库是什么？此问题是否包含“电池”？
奖励积分，奖励给具有Java 6+引用编译器的解决方案。
想要改善这个问题吗？更新问题，以便将其作为on-topic用于堆栈溢出。
5年前关闭。
Improve this question
现在，我正在写我的博士学位提案，为Java的新规范语言(参见JML或C#的SpeC#)构建语言处理器，并且需要确定一种实现工具才能开始开发。语言的研究方面(语法，语义，理论结果)与我选择的实现正交，因此出于自身原因，我想使用Python(2.6+)。最终产品将是能够验证用Java编写的程序的某些指定属性的编译器或解释器。
在Python中构建编译器/解释器的最佳框架/库是什么？此问题是否包含“电池”？
奖励积分，奖励给具有Java 6+引用编译器的解决方案。
最佳答案
也许您想看看this