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

Didier Bert 1
1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
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.
Mots-clés : programmation programmes langages compilation compilateurs abstraction généricité itérations itérateurs traduction mémoire LISP SETL PROLOG LUCID CLEAR
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

File

Bert.Didier_1979_these.pdf

Identifiers

  • HAL Id : tel-00289691, version 1

Collections

CNRS | UGA | TDS-MACS

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

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

295

Files downloads

120

Contact

CCSD