The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

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

Dominique Larchey-Wendling
Logic, Proof Theory and Programming
Jean-François Monin
  • Fonction : Auteur
VERIMAG

Domaines

Logique en informatique [cs.LO] Informatique et langage [cs.CL] Mathématique discrète [cs.DM] Langage de programmation [cs.PL] Théorie et langage formel [cs.FL] Génie logiciel [cs.SE] Logique [math.LO]
Fichier principal
Vignette du fichier
the_braga_method.pdf (682.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dominique Larchey-Wendling  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03338785

Soumis le : jeudi 30 septembre 2021-11:33:58

Dernière modification le : vendredi 5 avril 2024-03:09:50

Archivage à long terme le : vendredi 31 décembre 2021-19:40:58

Télécharger pour visualiser

Dates et versions

hal-03338785 , version 1 (30-09-2021)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS INRIA VERIMAG UNIV-LORRAINE TDS-MACS LORIA LORIA-FM
95 Consultations
211 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More