DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Xavier Leroy
Xavier Leroy
English
Xavier Leroy's Phd Thesis
Fourth ACM SIGPLAN Workshop on Commercial Users of Functional Programming
The Dule Module System and Programming Language Project
An Extension of Isabelle/UTP with Simpl-Like Control Flow
Project-Team CAMBIUM
Mechanized Semantics for the Clight Subset of the C Language
Curriculum Vitae
Communications of the Acm
Dagrep-V005-I004-Complete.Pdf (7
Formal Certification of a Compiler Back-End
Project-Team Gallium Programming Languages, Types, Compilation And
Tahina Ramananandro
Formal Verification of a Realistic Compiler
The Compcert C Verified Compiler: Documentation and User’S Manual Xavier Leroy
Mechanized Semantics: When Machines Reason About Their Languages
A Survey of Compiler Testing (2019)
From Functional Programming to Program Proof Or: the Continuation of ML by Other Means
Top View
A Formally Verified Compiler Back-End
Xavier Leroy Liste De Publications
Modular Verification for Computer Security
Formal Verification of a Realistic Compiler Xavier Leroy
CSCI 2041: Introduction
Verified Code Generation for the Polyhedral Model
The Formal Verification of Compilers
Type Isomorphisms for Module Signatures