Search
Now showing items 1-4 of 4
Demand Interprocedural Dataflow Analysis
(University of Wisconsin-Madison Department of Computer Sciences, 1995)
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
(University of Wisconsin-Madison Department of Computer Sciences, 1995)
Solving Shape-Analysis Problems in Languages with Destructive Updating
(University of Wisconsin-Madison Department of Computer Sciences, 1996)
Parametric Shape Analysis via 3-Valued Logic
(University of Wisconsin-Madison Department of Computer Sciences, 1998)