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. In: IJCAR 2016: 8th International Joint Conference on Automated Reasoning, 27 Jun - 02 Jul 2016, University of Coimbra, Portugal.

Full text is not in this repository.

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:
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)

Edit Item Edit Item