Row types for delta-oriented programming - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

Row types for delta-oriented programming

Résumé

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.

Domaines

Informatique

Dates et versions

hal-00909385 , version 1 (26-11-2013)

Identifiants

Citer

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. pp.121--128, ⟨10.1145/2110147.2110161⟩. ⟨hal-00909385⟩

Collections

INRIA INRIA2
98 Consultations
0 Téléchargements

Altmetric

Partager

More