Title: Row types for delta-oriented programming
Authors: Lienhardt, Michael ×
Clarke, Dave #
Issue Date: Jan-2012
Publisher: ACM
Host Document: ACM Conference Proceedings Series pages:121-128
Conference: Variability Modelling of Software-Intensive Systems edition:6 location:Leipzig, Germany date:25-27 January, 2012
Abstract: Delta-oriented programming (DOP) provides a technique for implementing Software Product Lines based on modifica- tions (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.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
VAMOS2012.pdfMain article Published 201KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.