54 citations · 86 across the 12 of their papers we have counts for
1 paper · 1 filter
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…