|
|
|
|
| LEADER |
01177nam a22002177a 4500 |
| 001 |
424333 |
| 008 |
241211c2024 xx ||| |||| 00| 0 fre d |
| 041 |
0 |
|
|a fre
|
| 100 |
1 |
|
|a Bertot, Yves.
|
| 245 |
1 |
0 |
|a Dossier spécial programmation fonctionnelle [Dossier]
|c par Yves Bertot et Hiram Madelaine.
|
| 260 |
|
|
|c 2023.
|
| 300 |
|
|
|a pp. 33-44.
|
| 505 |
0 |
|
|a p. 35 -- Prouvez que vos programmes fonctionnels n'ont pas de bug avec Coq -- p. 40 -- Pourquoi apprendre Clojure en 2023 ?
|
| 520 |
|
|
|a 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êmes ê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.
|
| 650 |
|
|
|a Programmation fonctionnelle (informatique).
|
| 650 |
|
|
|a Articles de périodiques
|
| 700 |
1 |
|
|a Madelaine, Hiram.
|4 aut
|
| 773 |
0 |
|
|w 296182
|t Programmez !
|x 1627-0908
|g No 256
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 424333
|