Génération automatique de tests d'égalité corrects en Coq, en pratique
1 : Université Côte d'Azur
* : Auteur correspondant
INRIA
Cet article est un résumé étendu de l'article "Practical and Sound Equality Tests, Automatically : Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi", accepté à CPP 2023 (12th ACM SIGPLAN International Conference on Certified Programs and Proofs).
| Type : | : | typdoc_34556 |
| Langue du texte intégral | : | français |
| Date de production, écriture | : | 21/11/2024 |
| Thématiques | : | GT LVP AFADL |
| PDF version | : |  PDF version |
