Author:
Lopes Nuno P.,Monteiro José
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley (2006)
2. Bansal, S., Aiken, A.: Automatic generation of peephole superoptimizers. In: ASPLOS (2006)
3. Lecture Notes in Computer Science;G. Barthe,2011
4. Benton, N.: Simple relational correctness proofs for static analyses and program transformations. In: POPL (2004)
5. Lecture Notes in Computer Science;M. Bozga,2012
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献