Leroy, Xavier, 1968-....
Leroy, Xavier
Xavier Leroy informaticien français
VIAF ID: 116467961 ( Personal )
Permalink: http://viaf.org/viaf/116467961
Preferred Forms
-
-
-
- 100 1 _ ‡a Leroy, Xavier ‡d 1968-
-
-
- 100 1 0 ‡a Leroy, Xavier, ‡d 1968-
- 100 1 _ ‡a Leroy, Xavier, ‡d 1968-....
- 100 0 _ ‡a Xavier Leroy ‡c informaticien français
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Abstraction de traces en analyse statique et transformations de programmes | |
The caml light system, release 0.5 = le Système Caml Light, version 0.5 : documentation et manuel d'utilisation : documentation and user's manual | |
Certification of a Tool Chain for Deductive Program Verification | |
Compilation de termes de preuves : un (nouveau) mariage entre coq et OCaml | |
Compilation of proofs terms : a (new) marriage between coq and OCaml. | |
Compilation optimisante et formellement prouvée pour un processeur VLIW | |
Déchiffrements | |
Design de langage dédié orienté vers la preuve pour le logiciel critique. | |
Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire. | |
Epigénétique : les nouvelles dimensions du génome. | |
Extraction of Certified Functional Code from Inductive Specifications. | |
Formal verification of an optimizing compiler for functional languages. | |
Le langage Caml | |
Le logiciel : entre l'esprit et la matière | |
Mechanized Formal Semantics and Verified Compilation for C++ Objects. | |
Mixin modules, modules, and extended recursion in an call-by-value setting. | |
Modules mixins, modules et récursion étendue en appel par valeur | |
Outils et techniques pour la vérification de programmes impératives modulaires. | |
Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur. | |
Proof-oriented domain-specific language design for high-assurance software | |
Semantic foundations of intermediate program representations | |
Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation | |
Spécialité NSI, numérique et sciences informatiques Tle : 24 leçons avec exercices corrigés : nouveaux programmes | |
Taking architecture and compiler into account in formal proofs of numerical programs | |
TIC '98 | |
Tools and Techniques for the Verification of Modular Stateful Code | |
Types in compilation : Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 : proceedings | |
Usuba, compilateur bitslicing optimisant. | |
Verasco : a Formally Verified C Static Analyzer | |
Vérification formelle de validateurs de traduction | |
Verification formelle et optimisation de l'allocation de registres | |
The ZINC experiment : an economical implementation of the ML language |