Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars.

Eric Van Wyk and Lijesh Krishnan,

Proceedings of Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), Electronic Notes in Theoretical Computer Science (ENTCS), vol. 176, issue 3, pp. 109-122, Elsevier, 2007.

PDF