Contributions à l'analyse statique de programmes manipulant des tableaux
Si l'analyse automatique des accès aux tableaux a été largement étudiée, on trouve très peu de résultats convaincants sur l'analyse du contenu des tableaux. Pour une telle analyse, les analyses numériques sont centrales. Notamment, si l'on découvre l'invariant i ≠ j, on évite d&#...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Grenoble
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00623697 http://tel.archives-ouvertes.fr/docs/00/62/36/97/PDF/mathias.peron.pdf |