 |
|
|
|
| Detailed view | Habilitation à diriger des recherches |
|
|
| Université Joseph-Fourier - Grenoble I (26/06/1979), Louis Bolliet (Pr.) |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| 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 |
| tel-00289691, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00289691 | |
| oai:tel.archives-ouvertes.fr:tel-00289691 | |
| From: Thèses Imag | |
| Submitted on: Monday, 23 June 2008 12:07:18 | |
| Updated on: Monday, 23 June 2008 12:07:54 | |
