Tractable Reasoning in a Fragment of Separation Logic.

Byron Cook, Christoph Haase, Jol Ouaknine, Matthew J. Parkinson, James Worrell

Browse the full CONCUR paper archive.