Constructing Specialized Shape Analyses for Uniform Change.

Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps

Browse the full VMCAI paper archive.