Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2 - Gordon - Document - PDFSEARCH.IO

First Page	Meta Content
	Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2 Add to Reading List Document Date: 2014-01-21 12:58:07 Open Document File Size: 626,69 KB Share Result on Facebook

Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2Add to Reading List