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

Conference paper

Gu, X., Chen, T. and Wu, Z. 2016. A complete decision procedure for linearly compositional separation logic with data constraints. IJCAR 2016: 8th International Joint Conference on Automated Reasoning. University of Coimbra, Portugal 27 Jun - 02 Jul 2016 Springer. pp. 532-549 https://doi.org/10.1007/978-3-319-40229-1_36
TypeConference paper
TitleA complete decision procedure for linearly compositional separation logic with data constraints
AuthorsGu, X., Chen, T. and Wu, Z.
Research GroupFoundations of Computing group
ConferenceIJCAR 2016: 8th International Joint Conference on Automated Reasoning
Page range532-549
ISSN0302-9743
ISBN
Hardcover9783319402284
PublisherSpringer
Publication dates
Online12 Jun 2016
Print02 Jul 2016
Publication process dates
Deposited12 Apr 2016
Accepted01 Apr 2016
Output statusPublished
Additional information

Published as a chapter in: Automated Reasoning, Volume 9706 of the series Lecture Notes in Computer Science pp 532-549

Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-319-40229-1_36
LanguageEnglish
Book titleAutomated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Permalink -

https://repository.mdx.ac.uk/item/86367

Log in to edit
  • 29
    total views
  • 0
    total downloads
  • 1
    views this month
  • 0
    downloads this month

Export as