On the Adequacy of Dependence-Based Representations for Programs with Heaps - Pfeiffer, Phil; Selke, Rebecca P (University of Wisconsin-Madison Department of Computer Sciences, 1991)