Analyse de programmes, evaluation partielle et generation de compilateurs

par Charles Consel

Thèse de doctorat en Sciences appliquées

Sous la direction de Christian Queinnec.

Soutenue en 1989

à Paris 6 .

mots clés

Résumé

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

Titre traduit

Program analysis, partial evaluation and compiler generation

Pas de résumé disponible.