La Programmation générique : construction de logiciel, spécification algébrique et vérification

Résumé : 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.
Document type :
Accreditation to supervise research
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1979


https://tel.archives-ouvertes.fr/tel-00289691
Contributor : Thèses Imag <>
Submitted on : Monday, June 23, 2008 - 12:07:18 PM
Last modification on : Monday, March 21, 2016 - 5:51:02 PM
Document(s) archivé(s) le : Friday, May 28, 2010 - 10:43:52 PM

Identifiers

  • HAL Id : tel-00289691, version 1

Collections

Citation

Didier Bert. La Programmation générique : construction de logiciel, spécification algébrique et vérification. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1979. <tel-00289691>

Export

Share

Metrics

Record views

92

Document downloads

72