UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Compositional shape analysis by means of bi-abduction.

Calcagno, C; Distefano, D; O'Hearn, PW; 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