The complexity of abduction for separated heap abstractions

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Kanovich, Max and O’Hearn, Peter W. (2011) The complexity of abduction for separated heap abstractions. Static Analysis. In: SAS 2011. . ISSN 0302-9743 (doi:10.1007/978-3-642-23702-7_7)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (420kB)
Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15926
Notes on copyright: Access to full text restricted pending copyright check.
Depositing User: Nikos Gkorogiannis
Date Deposited: 12 May 2015 14:59
Last Modified: 16 Nov 2019 23:02
URI: https://eprints.mdx.ac.uk/id/eprint/15926

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year