hal-00670378, version 1
Program Transformation based Views for Modular Maintenance (poster)
Akram Ajouli 1, 2Julien Cohen
1Rémi Douence
1, 2
Troisièmes journées nationales du GDR GPL (2011) 218--219
Résumé : 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
- Domaine : Informatique/Génie logiciel
Informatique/Langage de programmation - Commentaire : Poster
- hal-00670378, version 1
- http://hal.archives-ouvertes.fr/hal-00670378
- oai:hal.archives-ouvertes.fr:hal-00670378
- Contributeur : Julien Cohen
- Soumis le : Mercredi 15 Février 2012, 11:57:11
- Dernière modification le : Mercredi 15 Février 2012, 14:27:10






Documents associés

Exporter