… The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend in order to build static analysis tools for Java, and to extend … for non-null checking and inferenc.
The system is implemented using JastAdd …
OOPSLA 2007: 1-18 [doi]… using the JastAdd compiler construction system. Declarative attributes and context …
GTTSE 2006: 422-436 [doi]… Reference attribute grammars (RAGs) have proven practical for gen- erating production-quality compilers from declarative descriptions, as demonstrated by the JastAdd system. Recent results indicate their applicability also to generating …
Technical Report 98, 2012.… for Java as an extension to the JastAdd Extensible Java Compiler and integrated …
OOPSLA 2008: 277-294 [doi]