Сейчас я пишу свое предложение PhD для создания языкового процессора для нового языка спецификации для Java (cf. JML, или SpeС# для С#), и нужно приложить инструмент внедрения, чтобы начать разработку. Исследовательские аспекты языка (синтаксис, семантика, теоретические результаты) ортогональны моему выбору реализации, поэтому я бы хотел использовать Python (2.6+) по моим собственным причинам. Конечным продуктом будет либо компилятор, либо интерпретатор, способный проверять некоторые определенные свойства для программ, написанных на Java.
Какая лучшая структура/библиотека для создания компиляторов/интерпретаторов в Python? Включены ли "батареи" для этой проблемы?
Бонусные баллы, присуждаемые решениям, имеющим ссылочные компиляторы для Java 6 +.