Skip to Main content Skip to Navigation
Book sections

The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

Dominique Larchey-Wendling 1 Jean-François Monin 2 
1 TYPES - Logic, Proof Theory and Programming
LORIA - FM - Department of Formal Methods
2 VERIMAG - IMAG - VERIMAG
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-03338785
Contributor : Dominique Larchey-Wendling Connect in order to contact the contributor
Submitted on : Thursday, September 30, 2021 - 11:33:58 AM
Last modification on : Tuesday, October 19, 2021 - 11:24:55 AM
Long-term archiving on: : Friday, December 31, 2021 - 7:40:58 PM

File

Vignette du document
the_braga_method.pdf
Files produced by the author(s)

Identifiers

Collections

UGA | IMAG | CNRS | INRIA | INSMI | VERIMAG | UNIV-LORRAINE | TDS-MACS | LORIA | LORIA-FM

Citation

Dominique Larchey-Wendling, Jean-François Monin. The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq. Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩. ⟨hal-03338785⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

52

Files downloads

66

 

Contact                    Legal Notice                    Personal Data