Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP, - Compiler - Document - PDFSEARCH.IO

First Page	Meta Content
	Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP, Add to Reading List Document Date: 2018-08-01 14:49:25 Open Document File Size: 507,91 KB Share Result on Facebook

Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP, Add to Reading List