All papers authored by Nathanaël Courant
Refreshing results…
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.