Author:
Bouajjani Ahmed,Drăgoi Cezara,Enea Constantin,Sighireanu Mihaela
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Drăgoi, C.: Automated verification of heap-manipulating programs with infinite data. PhD thesis, University Paris Diderot - Paris 7 (2011)
2. Lecture Notes in Computer Science;C. Barrett,2007
3. Lecture Notes in Computer Science;D. Beyer,2007
4. Lecture Notes in Computer Science;A. Bouajjani,2006
5. Lecture Notes in Computer Science;A. Bouajjani,2010
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Product of Shape and Sequence Abstractions;Static Analysis;2023
2. Verification of Program Transformations with Inductive Refinement Types;ACM Transactions on Software Engineering and Methodology;2021-01-31
3. Verification of high-level transformations with inductive refinement types;ACM SIGPLAN Notices;2020-04-07
4. Shape Analysis;Foundations and Trends® in Programming Languages;2020
5. Verification of high-level transformations with inductive refinement types;Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2018-11-05