A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints.

Xincai Gu, Taolue Chen, Zhilin Wu

Browse the full CADE paper archive.