[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