Ronan Gaugne

Adresse :	Irisa/Inria Campus de Beaulieu 
		35042 Rennes Cedex France
email :	        gaugne@irisa.fr
Tel :     	33 99 84 75 02
Secrétaire : 	Claire Street
		33 99 84 72 06
Fax :		33 99 84 71 71

P. Fradet, R. Gaugne, D. Le Métayer,
Static detection of pointer errors: an axiomatisation and a checking algorithm,
proc. European Symposium on Programming, ESOP'96, lncs, Springer Verlag, avril 1996. ( postscript [. gz] - 61 Kbytes).



P. Fradet, R. Gaugne, D. Le Métayer,
An inference algorithm for the static verification of pointer manipulation,
Rapport de recherche No 980, Irisa, 1996. ( postscript [. gz] - 168 Kbytes).



R. Gaugne,
A static analysis for program understanding and debugging,
proc. 12th IEEE International Conference on Automated Software Engineering - ASE'97, 1997. (postscript[.Z]).



R. Gaugne,
Static Debugging of C Programs: Detection of Pointer Errors in Recusive Data Structures,
Rapport de recherche No 1119, IRISA, 1997. ( postscript [. gz] 138 Kbytes).



R. Gaugne,
Techniques d'analyse statique pour l'aide à la mise au point de programmes avec manipulation explicite de pointeurs,
Thèse de doctorat de l'université de Rennes 1, oct. 1997.