Solving Shape-Analysis Problems in Languages with Destructive Updating.

Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

Browse the full POPL paper archive.