Deciding Entailments in Inductive Separation Logic with Tree Automata.

Radu Iosif, Adam Rogalewicz, Toms Vojnar

Browse the full ATVA paper archive.