28967 articles – 22396 references  [version française]

hal-00670378, version 1

Program Transformation based Views for Modular Maintenance (poster)

Akram Ajouli 12, Julien Cohen () 1, Rémi Douence () 12

Troisièmes journées nationales du GDR GPL (2011) 218--219

Abstract: Modular programming is a practical solution for separation of concerns but the support for modularity provided by programming languages does not resolve the classic expression problem and more generally the tyranny of the dominant decomposition: evolutions are modular only on the principal axis of decomposition. To solve this problem, a practical solution would be to be able to choose the architecture of an application each time one has to make it evolve. We provide a prototype tool for the Haskell language to support that. Our tool allows to build transformations to switch Haskell programs from one structure to another. We do this by driving a refactoring tool for Haskell (HaRe): transformations are built by chaining elementary operations of refactoring. Since each elementary refactoring operation preserve the semantics, the whole transformations also do.

  • 1:  Laboratoire d'Informatique de Nantes Atlantique (LINA)
  • CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes
  • 2:  ASCOLA (INRIA - EMN)
  • INRIA – École Nationale Supérieure des Mines - Nantes
  • Domain : Computer Science/Software Engineering
    Computer Science/Programming Languages
  • Comment : Poster
 
  • hal-00670378, version 1
  • oai:hal.archives-ouvertes.fr:hal-00670378
  • From: 
  • Submitted on: Wednesday, 15 February 2012 11:57:11
  • Updated on: Wednesday, 15 February 2012 14:27:10