La Programmation générique : construction de logiciel, spécification algébrique et vérification - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 1979

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.
Fichier principal
Vignette du fichier
Bert.Didier_1979_these.pdf (9.99 Mo) Télécharger le fichier

Dates et versions

tel-00289691 , version 1 (23-06-2008)

Identifiants

  • HAL Id : tel-00289691 , version 1

Citer

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⟩

Collections

UGA CNRS TDS-MACS
301 Consultations
201 Téléchargements

Partager

Gmail Facebook X LinkedIn More