Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;B. Aydemir,2005
2. Bertot, Y.: Theorem proving support in programming language semantics. Technical Report 6242, INRIA (2007); to appear in a book in memory of Gilles Kahn
3. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development, Coq’Art: the Calculus of Inductive Constructions. Springer, Heidelberg (2004)
4. Lecture Notes in Computer Science;Y. Bertot,2006
5. Besson, F., Jensen, T., Pichardie, D.: Proof-carrying code from certified abstract interpretation and fixpoint compression. Theoretical Computer Science 364(3), 273–291 (2006)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sound up-to techniques and Complete abstract domains;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
2. An abstract memory functor for verified C static analyzers;ACM SIGPLAN Notices;2016-12-05
3. An abstract memory functor for verified C static analyzers;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04
4. Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code;Journal of Automated Reasoning;2016-01-25
5. A Formally-Verified C Static Analyzer;ACM SIGPLAN Notices;2015-05-11