A decision procedure for satisfiability in separation logic with inductive predicates.

James Brotherston, Carsten Fuhs, Juan Antonio Navarro Prez, Nikos Gorogiannis

Browse the full CSL paper archive.