Logical Characterizations of Heap Abstractions

G. Yorsh, T. Reps, M. Sagiv +1

Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on dynamically allocated storage. In recent work, we have shown…