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
Modeling and 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, June 23, 2008 - 12:07:54 PM

Identifiers

  • HAL Id : tel-00289691, version 1

Collections

CNRS | UGA

Citation

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

Export

Share

Metrics

Consultation de
la notice

51

Téléchargement du document

9