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 :
Habilitation à diriger des recherches
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00289691
Contributor : Thèses Imag <>
Submitted on : Monday, June 23, 2008 - 12:07:18 PM
Last modification on : Thursday, January 11, 2018 - 6:20:26 AM
Long-term archiving on : 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

274

Files downloads

113