DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
(titres de publication, de périodique et noms de colloque inclus)
2002-01-01 - Article/Dans un journal avec peer-review - Anglais - 16 page(s)

Mens Tom , Demeyer Serge, Janssens Dirk, "Formalising Behaviour Preserving Program Transformations" in Lecture Notes in Computer Science, 2505

  • Edition : Springer, Berlin (Germany)
  • Codes CREF : Sémantique des langages de programmation (DI1163), Informatique appliquée logiciel (DI2570), Informatique générale (DI1162)

Abstract(s) :

(Anglais) The notion of refactoring —transforming the source-code of an object-oriented program without changing its external behaviour— has increased the need for a precise definition of refactorings and their properties. This paper introduces a graph representation of those aspects of the source code that should be preserved by a refactoring, and graph rewriting rules as a formal specification for the refactoring transformations themselves. To this aim, we use type graphs, forbidden subgraphs, embedding mechansims, negative application conditions and controlled graph rewriting. We show that it is feasible to reason about the effect of refactorings on object-oriented programs independently of the programming language being used. This is crucial for the next generation of refactoring tools.

Identifiants :
  • DOI : 10.1007/3-540-45832-8_22