Solving Shape-Analysis Problems in Languages with Destructive Updating · 49 (1990)

by L Hendren