Publisher
Springer International Publishing
Reference15 articles.
1. Companion website.
http://www.irisa.fr/celtique/ext/fast_liveness/
2. Appel, A.W., Palsberg, J.: Modern Compiler Implementation in Java, 2nd edn. Cambridge University Press, Cambridge (2002)
3. Barthe, G., Demange, D., Pichardie, D.: Formal verification of an SSA-based middle-end for CompCert. ACM Trans. Program. Lang. Syst. 36(1), 4:1–4:35 (2014).
https://doi.org/10.1145/2579080
4. Lecture Notes in Computer Science;S Blazy,2015
5. Lecture Notes in Computer Science;B Boissinot,2011
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献