… The JastAdd Extensible Java Compiler is a high quality Java compiler … extensible Java compiler frameworks. It also compares favorably in quality and size compared with traditional non-extensible Java compilers, and it runs within …
OOPSLA 2007: 1-18 [doi]… by bridging the gap between compiler verification and compiler extensibility …Verified compilers, such as Leroy’s CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed …
PLDI 2010: 111-121 [doi]… the design of abc, focusing mostly on how the design supports extensibility. We … Compiler (abc) is an implementation of such a workbench. The base version of abc … of the original AspectJ compiler, and how these different goals have led …
TAOSD, :293-334, 2006. [doi]