An EXPTIME-Complete Entailment Problem in Separation Logic.

Nicolas Peltier

Browse the full WoLLIC paper archive.