Open Knowledge International - Document - PDFSEARCH.IO

First Page	Meta Content
	Compile-Time Verification of Properties of Heap Intensive Programs Mooly Sagiv Thomas Reps Reinhard Wilhelm http://www.cs.tau.ac.il/~TVLA Add to Reading List Document Date: 2015-05-18 11:41:42 Open Document File Size: 1,08 MB Share Result on Facebook

UPDATE

Compile-Time Verification of Properties of Heap Intensive Programs Mooly Sagiv Thomas Reps Reinhard Wilhelm http://www.cs.tau.ac.il/~TVLAAdd to Reading List