Analyse statique modulaire des langages à objet.
Dans la thèse nous présentons un cadre pour l'analyse statique de langages orientés objets qui tient compte des propriétés de modularité de ces langages. Il y a plusieurs défis à relever pour obtenir une analyse statique efficace de langages orientés objet. Tout d'abord, elle doit gérer le...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole Polytechnique X
2004
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00000896 http://pastel.archives-ouvertes.fr/docs/00/50/33/75/PDF/Logozzo.pdf |