11![Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France](https://www.pdfsearch.io/img/f44c0ad1e15279ecd13ec993623c771f.jpg) | Add to Reading ListSource URL: pauillac.inria.frLanguage: English - Date: 2009-04-07 07:40:29
|
---|
12![Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine](https://www.pdfsearch.io/img/162f11fa9eb3277b6dd2ecd94961e8f0.jpg) | Add to Reading ListSource URL: www.ensiie.frLanguage: English - Date: 2008-06-30 05:17:26
|
---|
13![The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014](https://www.pdfsearch.io/img/7e6a17852aa5ef8b9399ba06c6130d7b.jpg) | Add to Reading ListSource URL: compcert.inria.frLanguage: English - Date: 2014-09-17 05:19:05
|
---|
14![CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce](https://www.pdfsearch.io/img/34ec8b8088b719d7081219fbbd95b63c.jpg) | Add to Reading ListSource URL: www.absint.comLanguage: English - Date: 2015-03-16 07:37:07
|
---|
15![Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don Stewart Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don Stewart](https://www.pdfsearch.io/img/6949f3537876baf20721b1a1e0a8db96.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2012-01-11 05:53:34
|
---|
16![Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed]](https://www.pdfsearch.io/img/87d2eeb530bb69b5c2f4bb11e4a490c3.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2009-04-07 07:40:29
|
---|