Compositional Entailment Checking for a Fragment of Separation Logic.

Constantin Enea, Ondrej Lengl, Mihaela Sighireanu, Toms Vojnar

Browse the full APLAS paper archive.