Knowledge Tree

researcher / Xavier Leroy

Xavier Leroy

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Molecular and cellular biology

Edit Merge See Links

Thesis:

Typage polymorphe d'un langage algorithmique

Directed Thesis:

Verasco : a Formally Verified C Static Analyzer

Les objets en C + + : sémantique formelle mécanisée et compilation vérifiée

Régulation par l'hypoxie de l'expression du gène de mucine membranaire MUC1 dans un modèle cellulaire rénal : implications potentielles de MUC1 en physiopathologie rénale

Vérification formelle de validateurs de traduction

Vérification formelle d'un compilateur optimisant pour langages fonctionnels

Modules mixins, modules et récursion étendue en appel par valeur