Prouvez que vos programmes fonctionnels n'ont pas de bugs avec Coq Première partie - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Programmez ! Année : 2023

Prouvez que vos programmes fonctionnels n'ont pas de bugs avec Coq Première partie

Résumé

Dans cet article, nous donnons un exemple très simple de programmation fonctionnelle et nous montrons comment ce style de programmation se prête à des raisonnements logiques pour éviter les erreurs de programmation. Les raisonnements logiques peuvent eux-même être effectués avec le système Coq. Cet article est également une introduction à l'utilisation de Coq, en utilisant une application bancaire simplifiée comme illustration.
Fichier principal
Vignette du fichier
short_article.pdf (130.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04219914 , version 1 (27-09-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04219914 , version 1

Citer

Yves Bertot. Prouvez que vos programmes fonctionnels n'ont pas de bugs avec Coq Première partie. Programmez !, 2023, 256, pp.35. ⟨hal-04219914⟩
38 Consultations
11 Téléchargements

Partager

Gmail Facebook X LinkedIn More