Analyse de programmes, evaluation partielle et generation de compilateurs
FR |
EN
Auteur / Autrice : | Charles Consel |
Direction : | Christian Queinnec |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences appliquées |
Date : | Soutenance en 1989 |
Etablissement(s) : | Paris 6 |
Résumé
FR
Etude de l'evaluation partielle et des aspects lies a l'auto-application d'un evaluateur partiel. Trois grands axes sont developpes: les composatnes de base d'un evaluateur partiel, les analyses de programmes permettant d'ameliorer le processus d'evaluation partielle et les applications