841 articles – 1540 Notices  [english version]
HAL : hal-00670378, version 1

Fiche détaillée  Récupérer au format
Troisièmes journées nationales du GDR GPL, Lille : France (2011)
Program Transformation based Views for Modular Maintenance (poster)
Akram Ajouli 1, 2, Julien Cohen 1, Rémi Douence 1, 2
(08/06/2011)

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
ASCOLA
Informatique/Génie logiciel

Informatique/Langage de programmation
Liste des fichiers attachés à ce document : 
PDF
poster.pdf(41.3 KB)
PS
poster.ps(52.9 KB)