Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, USA

First Page		Document Content
Date: 2015-09-18 09:21:55		Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, USA Add to Reading List Source URL: patricklam.ca Download Document from Source Website File Size: 71,28 KB Share Document on Facebook