BI as an assertion language for mutable data structures

By Samin S. Ishtiaq, Peter W. O'Hearn. SIGP, 2011

597 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/fb7290b369e4fef1c689b6544df6c8aa5cf1b004

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

1. Cristiano Calcagno
2. Hongseok Yang
3. Peter W. O'Hearn
4. Dino Distefano
5. Matthew J. Parkinson
6. Viktor Vafeiadis
7. S. Brookes
8. John C. Reynolds

In Computational Theory and Mathematics

1. Cristiano Calcagno
2. Peter W. O'Hearn
3. Hongseok Yang
4. Dino Distefano
5. Matthew J. Parkinson
6. Viktor Vafeiadis
7. S. Brookes
8. John C. Reynolds

Citations in the corpus

• Compositional shape analysis by means of bi-abduction (2009, methodology): “[Ishtiaq and O’Hearn 2001; Reynolds ; Calcagno et al. 2007]).”