Eric {Van Wyk}, Lijesh Krishnan. Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. Electronic Notes in Theoretical Computer Science, 176(3):109-122, 2007. [doi]
@article{WykK07, title = {Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars}, author = {Eric {Van Wyk} and Lijesh Krishnan}, year = {2007}, doi = {10.1016/j.entcs.2006.06.020}, url = {http://dx.doi.org/10.1016/j.entcs.2006.06.020}, tags = {optimization, rule-based, attribute grammars, analysis, data-flow, data-flow analysis, grammar}, researchr = {https://researchr.org/publication/WykK07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {3}, pages = {109-122}, }