Analyse statique de programmes manipulant des tableaux
L'analyse statique de programmes est un domaine crucial en compilation, en optimisation, et en validation de logiciels. Les structures de données complexes (tableaux, listes, graphes,...), omniprésentes dans les programmes, posent des problèmes difficiles, du fait qu'elles représentent des...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Grenoble
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00973892 http://tel.archives-ouvertes.fr/docs/00/97/38/92/PDF/ThA_se_Valentin_Perrelle_-_Analyse_statique_de_programmes_manipulant_des_tableaux.pdf |