login
english version rss feed
Detailed view Habilitation à diriger des recherches
Université Joseph-Fourier - Grenoble I (26/06/1979), Louis Bolliet (Pr.)
Attached file list to this document: 
PDF
Bert.Didier_1979_these.pdf(9.7 MB)
La Programmation générique : construction de logiciel, spécification algébrique et vérification
Didier Bert1

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


all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...