Guillaume Bertholon
3
Documents
Affiliations actuelles
- 233382
Site web
- https://www.eleves.ens.fr/home/gbertholon/
Publications
|
Source-to-Source Optimizations Validated using Separation Logic35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès
hal-04406229v1
|
|
An AST for Representing Programs with Invariants and ProofsJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.43-58
Communication dans un congrès
hal-03936618v1
|
|
Primitive Floats in CoqITP 2019, Interactive Theorem Proving, Sep 2019, PORTLAND, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
Communication dans un congrès
hal-02449191v1
|