Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic.

Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin

Browse the full APLAS paper archive.