Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.

Zhaowei Xu, Taolue Chen, Zhilin Wu

Browse the full CADE paper archive.