Author:
Barthe Gilles,Grégoire Benjamin,Kunz César,Rezk Tamara
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Electronic Notes in Theoretical Computer Science;F. Bannwart,2005
2. Lecture Notes in Computer Science;M. Barnett,2005
3. Lecture Notes in Computer Science;G. Barthe,2006
4. Benton, N.: Simple relational correctness proofs for static analyses and program transformations. In: Proceedings of POPL 2004, pp. 14–25. ACM Press, New York (2004)
5. Burdy, L., Pavlova, M.: Annotation carrying code. In: Proceedings of SAC 2006. ACM Press, New York (2006)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantic Transformation Framework for Rewriting Rules;Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2023-01-15
2. Detecting bugs in register allocation;ACM Transactions on Programming Languages and Systems;2010-04
3. Certified Absence of Dangling Pointers in a Language with Explicit Deallocation;Lecture Notes in Computer Science;2010
4. A Formally Verified Compiler Back-end;Journal of Automated Reasoning;2009-11-04
5. Certificate translation for optimizing compilers;ACM Transactions on Programming Languages and Systems;2009-06