A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic.

Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin

Browse the full CAV paper archive.