Author:
Berdine Josh,Calcagno Cristiano,Cook Byron,Distefano Dino,O’Hearn Peter W.,Wies Thomas,Yang Hongseok
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;J. Berdine,2005
2. Lecture Notes in Computer Science;B. Biering,2005
3. Lecture Notes in Computer Science;A. Bouajjani,2006
4. Lecture Notes in Computer Science;D. Distefano,2006
5. Gotsman, A., Berdine, J., Cook, B., Sagiv, M.: Thread-modular shape analysis. In: PLDI (to appear, 2007)
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Sound Borrow-Checking for Rust via Symbolic Semantics;Proceedings of the ACM on Programming Languages;2024-08-15
3. Automated Synthesis of Software Contracts with KindSpec;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
4. Lightweight Shape Analysis Based on Physical Types;Lecture Notes in Computer Science;2022
5. Foundations for Entailment Checking in Quantitative Separation Logic;Programming Languages and Systems;2022