A Correct Refactoring Operation to Rename Global Variables in C Programs - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

A Correct Refactoring Operation to Rename Global Variables in C Programs

Résumé

Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers have to test their code after applying an automatic refactoring. In this report, we consider a refactoring operation (renaming of global variables in C), and we prove that its core implementation preserves the set of possible behaviors of transformed programs. That proof of correctness relies on the operational semantics of C provided by Compcert C in Coq. We also prove some static properties of the considered refactoring operation and we use them to find properties of some composed refactoring operations.
Fichier principal
Vignette du fichier
CohenRefactoring2015.pdf (324.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01248121 , version 1 (23-12-2015)

Identifiants

  • HAL Id : hal-01248121 , version 1

Citer

Julien Cohen. A Correct Refactoring Operation to Rename Global Variables in C Programs. [Research Report] LINA-University of Nantes. 2015. ⟨hal-01248121⟩

Relations

187 Consultations
594 Téléchargements

Partager

Gmail Facebook X LinkedIn More