Work

Row types for delta-oriented programming

Year: 2012

Type: conference-paper

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.

Source: International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)

DOI: 10.1145/2110147.2110161

Authors: Michael Lienhardt, Dave Clarke

Institutions: University of Bologna, KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Seventh Framework Programme

Award: G6607251019