All papers authored by Nathanaëlle Courant
Refreshing results…
2024
Milla Valnet,
Nathanaëlle Courant 
,
Guillaume Bury,
Pierre Chambart,
Vincent Laviron
,
Guillaume Bury,
Pierre Chambart,
Vincent Laviron
Chamelon : un minimiseur pour et en OCaml
Upload
2022
Gabriel Scherer,
Nathanaëlle Courant
An OCaml use case for strong call-by-need reduction
Upload
2021
Nathanaël Courant ,
Xavier Leroy
,
Xavier Leroy
Verified code generation for the polyhedral model
Download from doi.org
2020
Nathanaël Courant ,
Antoine Séré,
Natarajan Shankar
,
Antoine Séré,
Natarajan Shankar
The Correctness of a Code Generator for a Functional Language
Download from zenodo.org
2017
Nathanaël Courant ,
Caterina Urban
,
Caterina Urban
Precise Widening Operators for Proving Termination by Abstract Interpretation
Download from zenodo.orgMissing publications? Search for publications with a matching author name.