Calcagno, C and Distefano, D and O'Hearn, PW and Yang, H (2007) Footprint Analysis: A Shape Analysis That Discovers Preconditions. In: Nielson, HR and Filé, G, (eds.) SAS. (pp. 402 - 418). Springer
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Footprint Analysis: A Shape Analysis That Discovers Preconditions. |
| ISBN-13: | 978-3-540-74060-5 |
| DOI: | 10.1007/978-3-540-74061-2_25 |
| Publisher version: | http://www.informatik.uni-trier.de/~ley/db/conf/sas/sas2007.html |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record