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
Liste complète des métadonnées

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>

Share

Metrics

Record views

118

Document downloads

84