Mechanized semantics for compiler verification or: CompCert’s tortuous path through semantics land Xavier Leroy INRIA Paris-Rocquencourt

First Page		Document Content
Date: 2012-12-13 01:33:53		Mechanized semantics for compiler verification or: CompCert’s tortuous path through semantics land Xavier Leroy INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Download Document from Source Website File Size: 1,25 MB Share Document on Facebook