Titre : | Prouvez que vos programmes fonctionnels n’ont pas de bugs avec Coq (2023) |
Auteurs : | Yves Bertot, Auteur |
Type de document : | Article : texte imprimé |
Dans : | [Programmez !] (N°256, 02/03 2023) |
Article en page(s) : | p. 35-39 |
Langues: | Français |
Sujets : |
IESN Application (informatique) ; Coq (système) ; Programmation fonctionnelle |
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." (Extrait de [Programmez !] n°256) |
Exemplaires (1)
Localisation | Section | Support | Cote de rangement | Statut | Disponibilité |
---|---|---|---|---|---|
Bibliothèque IESN | _Périodiques | Périodique | 68 PRO 256 | Empruntable sur demande | Disponible |