Calcagno, C and Distefano, D and O'Hearn, PW and Yang, H (2009) Compositional shape analysis by means of bi-abduction. In: Shao, Z and Pierce, BC, (eds.) POPL. (pp. 289 - 300). ACM
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Compositional shape analysis by means of bi-abduction. |
| ISBN-13: | 978-1-60558-379-2 |
| DOI: | 10.1145/1480881.1480917 |
| Publisher version: | http://dl.acm.org/citation.cfm?id=1480881 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record