Prouvez que vos programmes fonctionnels n’ont pas de bugs avec Coq / Yves Bertot in Programmez !, 256 (Février 2023)

Public ISBD [article]  inProgrammez ! > 256 (Février 2023) . - p. 35-39 Titre : Prouvez que vos programmes fonctionnels n’ont pas de bugs avec Coq Type de document : texte imprimé Auteurs : Yves Bertot Année de publication : 2023 Article en page(s) : p. 35-39 Langues : Français (fre) 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. Permalink : ./index.php?lvl=notice_display&id=109101 [article] Prouvez que vos programmes fonctionnels n’ont pas de bugs avec Coq [texte imprimé] / Yves Bertot . - 2023 . - p. 35-39. Langues : Français (fre) in Programmez ! > 256 (Février 2023) . - p. 35-39 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. Permalink : ./index.php?lvl=notice_display&id=109101

Exemplaires (1)

Cote	Support	Localisation	Section	Disponibilité
Revue	Revue	Centre de Documentation HELHa Campus Montignies	Salle de lecture - Etagère presse et actualité	Document exclu du prêt - à consulter sur place Exclu du prêt

---

1 (1 - 1 / 1)