Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite
L'interprétation abstraite est une méthode générale qui permet de déterminer de manière automatique des invariants de programmes. Cette méthode conduit à résoudre un problème de point fixe non linéaire de grande taille mais qui possède des propriétés de monotonie. Ainsi, déterminer des bornes s...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole Polytechnique X
2011
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00607076 http://pastel.archives-ouvertes.fr/docs/00/65/10/43/PDF/these.pdf |