Model checking for symbolic-heap separation logic with inductive predicates

Brotherston, James, Gorogiannis, Nikos, Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. In: POPL 2016: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 Jan 2016, St. Petersburg, FL, USA.

[img]
Preview
PDF - Final accepted version (with author's formatting)
Available under License Creative Commons Attribution-NonCommercial.

Download (448kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 19162
Notes on copyright: © ACM, YYYY. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Sigplan Notices, Volume 51 Issue 1, January 2016. http://doi.org/10.1145/2837614.2837621
Depositing User: Nikos Gkorogiannis
Date Deposited: 11 Apr 2016 13:07
Last Modified: 05 Jun 2019 10:03
URI: https://eprints.mdx.ac.uk/id/eprint/19162

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