The complexity of abduction for separated heap abstractions

Conference paper

Gorogiannis, N., Kanovich, M. and O’Hearn, P. 2011. The complexity of abduction for separated heap abstractions. SAS 2011. https://doi.org/10.1007/978-3-642-23702-7_7
TypeConference paper
TitleThe complexity of abduction for separated heap abstractions
AuthorsGorogiannis, N., Kanovich, M. and O’Hearn, P.
Research GroupFoundations of Computing group
ConferenceSAS 2011
ISSN0302-9743
Publication dates
Print2011
Publication process dates
Deposited12 May 2015
Output statusPublished
Copyright Statement

Access to full text restricted pending copyright check.

Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-642-23702-7_7
LanguageEnglish
Book titleStatic Analysis
Permalink -

https://repository.mdx.ac.uk/item/854x6

Log in to edit
File access - Request a copy

Restricted files

Accepted author manuscript

  • 21
    total views
  • 0
    total downloads
  • 3
    views this month
  • 0
    downloads this month

Export as