Search
Now showing items 1-1 of 1
A Relational Approach to Interprocedural Shape Analysis
(University of Wisconsin-Madison Department of Computer Sciences, 2004)
This paper addresses the verification of properties of imperative programs with
recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fields-i.e., interprocedural shape analysis. ...