Conception d'un langage dédié à l'analyse et la transformation de programmes

Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer des constructions de langage dédiées au prototypage d'outils d'analyse et de transformation de programmes...

Full description

Bibliographic Details
Main Author: Balland, Emilie
Other Authors: Nancy 1
Language:fr
Published: 2009
Subjects:
Online Access:http://www.theses.fr/2009NAN10026/document