Row types for delta-oriented programming

Michael Lienhardt 1, 2 Dave Clarke 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Delta-oriented programming (DOP) provides a technique for implementing Software Product Lines based on modifications (add, remove, modify) to a core program. Unfortunately, such modifications can introduce errors into a program, especially when type signatures of classes are modified in a non-monotonic fashion. To deal with this problem we present a type system for delta-oriented programs based on row polymorphism. This exercise elucidates the close correspondence between delta-oriented programs and row polymorphism.
Type de document :
Communication dans un congrès
VaMoS - Sixth International Workshop on Variability Modeling of Software-Intensive Systems - 2012, 2012, Leipzig, Germany. ACM, pp.121--128, 2012, VaMoS '12. 〈10.1145/2110147.2110161〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00909385
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 11:08:31
Dernière modification le : samedi 27 janvier 2018 - 01:31:26

Lien texte intégral

Identifiants

Collections

Citation

Michael Lienhardt, Dave Clarke. Row types for delta-oriented programming. VaMoS - Sixth International Workshop on Variability Modeling of Software-Intensive Systems - 2012, 2012, Leipzig, Germany. ACM, pp.121--128, 2012, VaMoS '12. 〈10.1145/2110147.2110161〉. 〈hal-00909385〉

Partager

Métriques

Consultations de la notice

151