A complete decision procedure for linearly compositional separation logic with data constraints

Gu, Xincai, Chen, Taolue and Wu, Zhilin (2016) A complete decision procedure for linearly compositional separation logic with data constraints. Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. In: IJCAR 2016: 8th International Joint Conference on Automated Reasoning, 27 Jun - 02 Jul 2016, University of Coimbra, Portugal. ISBN 9783319402284. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-40229-1_36)

Official URL: http://dx.doi.org/10.1007/978-3-319-40229-1_36

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	Published as a chapter in: Automated Reasoning, Volume 9706 of the series Lecture Notes in Computer Science pp 532-549
Research Areas:	A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID:	19190
Useful Links:	Organisation
Depositing User:	Taolue Chen
Date Deposited:	12 Apr 2016 09:50
Last Modified:	14 May 2018 14:36
URI:	https://eprints.mdx.ac.uk/id/eprint/19190

Actions (login required)

View Item

Statistics

DownloadsShow export options

Activity Overview

6 month trend

4Downloads

6 month trend

442Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)