Virtual International Authority File


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

Leroy, Xavier BIBSYS National Library of the Netherlands

Xavier Leroy informaticien français Wikidata

VIAF ID: 116467961 (Personal)


Open Section Close Section Preferred Forms





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

Open Section Close SectionWorks

Title Sources
The CAML LIGHT system release 0.5, documentation and user's manual Sudoc [ABES], France
Certification of a Tool Chain for Deductive Program Verification 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
Extraction of Certified Functional Code from Inductive Specifications. 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
Program Logics for Certified Compilers Wikidata
Semantic foundations of intermediate program representations 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 BIBSYS Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands National Library of Israel
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
Verification formelle et optimisation de l'allocation de registres 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 (12)