Browsing by Author "Sagiv, Mooly"
Now showing items 9-10 of 10
-
Solving Shape-Analysis Problems in Languages with Destructive Updating
Sagiv, Mooly; Reps, Thomas; Wilhelm, Reinhard (University of Wisconsin-Madison Department of Computer Sciences, 1996) -
Symbolic Implementation of the Best Transformer
Reps, Thomas; Sagiv, Mooly; Yorsh, Greta (University of Wisconsin-Madison Department of Computer Sciences, 2003)This paper shows how to achieve, under certain conditions, abstract-interpretation algorithms that enjoy the best possible precision for a given abstraction. The key idea is a simple process of successive approximation ...