Foundations for decision problems in separation logic with general inductive predicates

Antonopoulos, Timos and Gorogiannis, Nikos and Haase, Christoph and Kanovich, Max and Ouaknine, Joël (2014) Foundations for decision problems in separation logic with general inductive predicates. In: 17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014, 5-13 Apr 2014, Grenoble, France.

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (382kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Additional Information: Published paper appears in: Foundations of Software Science and Computation Structures, Volume 8412 of the series Lecture Notes in Computer Science pp 411-425
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15930
Notes on copyright: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-54830-7_27
Depositing User: Nikos Gkorogiannis
Date Deposited: 12 May 2015 15:22
Last Modified: 14 Mar 2018 08:33
URI: http://eprints.mdx.ac.uk/id/eprint/15930

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