Calcagno, C and Ishtiaq, SS and O'Hearn, PW (2000) Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. In: PPDP. (pp. 190 - 201).
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. |
| DOI: | 10.1145/351268.351291 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record