UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

The Complexity of Abduction for Separated Heap Abstractions

Gorogiannis, N; Kanovich, M; O'Hearn, PW; (2011) The Complexity of Abduction for Separated Heap Abstractions. In: Yahav, E, (ed.) (Proceedings) 18th International Static Analysis Symposium (SAS 2011). (pp. pp. 25-42). SPRINGER-VERLAG BERLIN

Full text not available from this repository.
Type: Proceedings paper
Title: The Complexity of Abduction for Separated Heap Abstractions
Event: 18th International Static Analysis Symposium (SAS 2011)
Location: Venice, ITALY
Dates: 14 September 2011 - 16 September 2011
ISBN-13: 978-3-642-23702-7
Keywords: Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science, SHAPE-ANALYSIS, LOGIC, BI, INFERENCE, CODE
UCL classification: UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/1363229
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item