Virtual International Authority File


Leroy, Xavier, 1968-.... National Library of France ISNI Sudoc [ABES], France Library of Congress/NACO

Xavier Leroy Wikidata

Leroy, Xavier National Library of the Netherlands

VIAF ID: 116467961 (Personal)


ISNI: 0000  0001  1455  6489 

Open Section Close Section Preferred Forms





Open Section Close Section 4xx's: Alternate Name Forms (5)

Open Section Close SectionWorks

Title Sources
The CAML LIGHT system release 0.5, documentation and user's manual Sudoc [ABES], France
Compilation de termes de preuves un (nouveau) mariage entre coq et OCaml Sudoc [ABES], France
Compilation of proofs terms : a (new) marriage between coq and OCaml. Sudoc [ABES], France
Formal verification of an optimizing compiler for functional languages. Sudoc [ABES], France
Le langage Caml National Library of France Sudoc [ABES], France
Mechanized Formal Semantics and Verified Compilation for C++ Objects. Sudoc [ABES], France
Mixin modules, modules, and extended recursion in an call-by-value setting. Sudoc [ABES], France
Modules mixins, modules et récursion étendue en appel par valeur Sudoc [ABES], France
Objective Caml Wikidata
OCaml Wikidata
Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur. Sudoc [ABES], France
Taking architecture and compiler into account in formal proofs of numerical programs Sudoc [ABES], France
TIC '98 National Library of the Netherlands
Types in Compilation Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Verasco : a Formally Verified C Static Analyzer : Checking a checker Sudoc [ABES], France
Verasco : un analyseur statique pour C formellement vérifié. Sudoc [ABES], France
Vérification formelle de validateurs de traduction Sudoc [ABES], France
The ZINC experiment : an economical implementation of the ML language Sudoc [ABES], France
اکمل Wikidata
لغة كامل الموضوعية Wikidata
ობიექტური კამლი Wikidata

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section History of VIAF ID:116467961 (10)