Domaines numériques abstraits faiblement relationnels
Le sujet de cette thèse est le développement de méthodes pour l'analyse automatique des programmes informatiques. Une des applications majeures est la conception d'outils pour découvrir les erreurs de programmations avant qu'elles ne se produisent, ce qui est crucial à l'heure où...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole Polytechnique X
2004
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00136630 http://tel.archives-ouvertes.fr/docs/00/13/66/30/PDF/these-color.pdf |