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...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Henri Poincaré - Nancy I
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00435881 http://tel.archives-ouvertes.fr/docs/00/43/58/81/PDF/manuscrit.pdf |