Compositional shape analysis by means of bi-abduction

By Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang. ACM-SIGACT Symposium on Principles of Programming Languages, 2009

469 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Computer Vision and Pattern Recognition

View Paper: https://www.semanticscholar.org/paper/17b106493d825357411dd9943f957793a0d1a0fa

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

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

Citations in the corpus

• Moving Fast with Software Verification (2015, methodology): “Second, it uses a variation on the notion of abductive inference to discover those summaries [5].”