Author:
Berdine Josh,Calcagno Cristiano,O’Hearn Peter W.
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Banerjee, A., Naumann, D.A.: Ownership confinement ensures representation independence for object-oriented programs. Journal of the ACM 52(6), 894–960 (2005); Preliminary version in POPL 2002
2. Barnett, M., DeLine, R., Fahndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology 3(6), 27–56 (2004)
3. Lecture Notes in Computer Science;M. Barnett,2005
4. Berdine, J., Calcagno, C., O’Hearn, P.W.: Verification condition generation and variable conditions in Smallfoot, Available from: http://www.dcs.qmul.ac.uk/research/logic/theory/projects/smallfoot/index.html
5. Lecture Notes in Computer Science;J. Berdine,2005
Cited by
169 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Challenges for Non-Classical Reasoning in Contemporary AI Applications;KI - Künstliche Intelligenz;2024-07-04
2. Predictable Verification using Intrinsic Definitions;Proceedings of the ACM on Programming Languages;2024-06-20
3. Towards Integration of Syntactic and Semantic Vulnerability Patterns;2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C);2024-06-04
4. Sound Gradual Verification with Symbolic Execution;Proceedings of the ACM on Programming Languages;2024-01-05
5. Verification Algorithms for Automated Separation Logic Verifiers;Lecture Notes in Computer Science;2024