La Programmation générique : construction de logiciel, spécification algébrique et vérification
On étudie l'abstraction et la généricité dans les langages de programmation. On décrit les principaux outils de la programmation générique. On traite ensuite de la spécification des types et des fonctions et on étudie les methodes de vérification de programmes spécifiés algébriquement....
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1979
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00289691 http://tel.archives-ouvertes.fr/docs/00/28/96/91/PDF/Bert.Didier_1979_these.pdf |