A decision procedure for satisfiability in separation logic with inductive predicates

Brotherston, James, Fuhs, Carsten, Pérez, Juan A. Navarro and Gorogiannis, Nikos (2014) A decision procedure for satisfiability in separation logic with inductive predicates. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS 2014, 14-18 Jul 2014, Vienna, Austria.

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

Download (379kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Article No. 25
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15928
Notes on copyright: Access to full text restricted pending copyright check.
Depositing User: Nikos Gkorogiannis
Date Deposited: 12 May 2015 15:08
Last Modified: 02 Jun 2019 10:22
URI: https://eprints.mdx.ac.uk/id/eprint/15928

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