Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.

Chong Gao, Taolue Chen, Zhilin Wu

Browse the full SOFSEM paper archive.