Damien Massé

Learn More
In this paper, we explore the adaptation of policy iteration techniques to compute greatest fixpoint approximations, in order to find sufficient conditions for program termination. Restricting ourselves to affine programs and the abstract domain of template constraint matrices, we show that the abstract greatest fixpoint can be computed exactly using linear(More)
1 Résumé de la thèse L'analyse statique par interprétation abstraite permet d'inférer des propriétés sur un programme par abstraction de sa sémantique. Ces propriétés permettent entre autres de vérifier si le programme satisfait ou non une spécification. Toutefois, si la spécification est connue par avance, on peut en tenir compte lors de l'analyse pour(More)
Analyse statique modulaire de langages à objets Modular static analysis of object-oriented languages Acknowledgments This Ph.D. thesis is the result of the work, the aid and the support of many people, who made it possible to conceive and write it. These people deserve to be acknowledged. I hope I will not forget anyone.... I would like to thank Xavier(More)
  • 1