sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000114556489 | 1 hits
Person
ISNI: 
0000 0001 1455 6489
Name: 
Leroy, X.
Leroy, Xavier
Xavier Leroy
Xavier Leroy (Frans informaticus)
Xavier Leroy (fransk ingeniør og informatikar)
Xavier Leroy (fransk ingeniør og informatiker)
Xavier Leroy (fransk ingenjör och datavetare)
Xavier Leroy (French computer scientistand programmer)
Dates: 
1968-
Creation class: 
Computer file
Language material
Text
Creation role: 
editor
Related names: 
Mauny, Michel
Muñoz, César
Nguyen, Thi Minh Tuyen (1982-....))
Ohori, Atsushi (1957-....))
Ohori, Atsushi (1957-)
Ramananandro, Tahina (1985-....))
TIC'98 (1998 : Kyoto, Japan)
Tristan, Jean-Baptiste (1982-))
Weis, Pierre
Titles: 
CAML LIGHT system release 0.5, documentation and user's manual, The
Compilation de termes de preuves un (nouveau) mariage entre coq et OCaml
Compilation of proofs terms : a (new) marriage between coq and OCaml.
Formal verification of an optimizing compiler for functional languages.
langage CAML, Le
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
Objective Caml
OCaml
Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur.
Taking architecture and compiler into account in formal proofs of numerical programs
TIC '98
Types in compilation : second international workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 : proceedings
Vérification formelle de validateurs de traduction
ZINC experiment, The : an economical implementation of the ML language
ობიექტური კამლი
اکمل
لغة كامل الموضوعية
Notes: 
Sources: 
BOWKER
NTA