HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Application of formal methods to the development of a software maintenance tool

Abstract : Partial evaluation is a technique traditionally used in compilation. We have adapted this technique to the undestanding of scientific application programs during their maintenance and we have implemented a tool. This tool analyzes Fortran 90 programs and performs an interprocedural pointer analysis. This paper presents how we have specified this analysis with different formalisms (inference rules with global definitions and set and relational operators). Then we present the tool implementing these specifications. It has been implemented in a generic programming environment and a graphical inetrface has been developped to visualize the information computed during the partial evaluation.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

Contributor : Sandrine Blazy Connect in order to contact the contributor
Submitted on : Tuesday, October 17, 2006 - 3:24:16 PM
Last modification on : Monday, February 21, 2022 - 3:38:08 PM
Long-term archiving on: : Monday, April 5, 2010 - 10:28:59 PM


  • HAL Id : inria-00078882, version 1



Sandrine Blazy, Philippe Facon. Application of formal methods to the development of a software maintenance tool. ASE'97: The 12th IEEE Conference on Automated Software Engineering., Lowry, M. and Ledru, Y., Nov 1997, Lake Tahoe, Nevada, USA, pp.162-171. ⟨inria-00078882⟩



Record views


Files downloads