Computer Sciences Dept.

On the Adequacy of Dependence-Based Representations for Programs with Heaps

Phil Pfeiffer and Rebecca P Selke
1991

Download this report (PDF)


Return to tech report index

 
Computer Science | UW Home