Analyse statique des systemes dynamiques de graphes dans les langages non types

• Auteur / Autrice : ARNAUD VENET
• Direction : Radhia Cousot
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1998
• Etablissement(s) : Palaiseau, Ecole polytechnique

Résumé

Dans cette these nous decrivons des techniques d'interpretation abstraite de programmes manipulant des structures dynamiques de graphes. Nous concentrons notre etude autour de deux problemes importants en analyse statique : la determination automatique des alias de pointeurs dans les langages non types et l'analyse de la topologie des communications dans les systemes de processus mobiles decrits dans le pi-calcul. Ces deux analyses sont originales et permettent d'identifier les elements de structures definies de maniere recursive.