About This Item

Ask the MINDS@UW Librarian

Solving Shape-Analysis Problems in Languages with Destructive Updating

Show full item record

File(s):

Author(s)
Sagiv, Mooly; Reps, Thomas; Wilhelm, Reinhard
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Date
Mar 15, 2012
Permanent link
http://digital.library.wisc.edu/1793/60072 
Export
Export to RefWorks 
​

Part of

Show full item record

Search and browse




About MINDS@UW

Deposit materials

  1. Register to deposit in MINDS@UW
  2. Need deposit privileges? Contact us.
  3. Already registered? Have deposit privileges? Deposit materials.