Browsing CS Technical Reports by Author "Wilhelm, Reinhard"

Now showing items 1-2 of 2

Parametric Shape Analysis via 3-Valued Logic

Sagiv, Mooly; Reps, Thomas; Wilhelm, Reinhard (University of Wisconsin-Madison Department of Computer Sciences, 1998)
Solving Shape-Analysis Problems in Languages with Destructive Updating

Sagiv, Mooly; Reps, Thomas; Wilhelm, Reinhard (University of Wisconsin-Madison Department of Computer Sciences, 1996)