Type-based Data Structure Verification ∗ Ming Kawaguchi Patrick Rondon Ranjit Jhala

First Page		Document Content
Date: 2010-12-18 00:25:54		Type-based Data Structure Verification ∗ Ming Kawaguchi Patrick Rondon Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Download Document from Source Website File Size: 327,04 KB Share Document on Facebook