A Local Shape Analysis Based on Separation Logic
By Dino Distefano, Peter W. O'Hearn, Hongseok Yang. International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2006
354 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software
View Paper: https://www.semanticscholar.org/paper/e729fd78f41e6471e0b9cd286bf0a0353064dbac
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Frank Piessens
- Matthew J. Parkinson
- Viktor Vafeiadis
- Michael Lambert
- Mark Weber
- Mitchell Buckley
- Maria Emilia Maietti
- Marco De Grandis
In Computational Theory and Mathematics
In Software
Citations in the corpus
- VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java (2011, methodology): “We are in the process of integrating separation logic-based shape analysis algorithms from the literature [5, 6] into VeriFast.”
- A Marriage of Rely/Guarantee and Separation Logic (2007, methodology): “In addition, we believe that the proof outline and the interference specifications may be inferred using abstract interpretation as done by Distefano, O’Hearn and Yang [ 6 ] for heap analysis.”