Paper Info
Title
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking.
Abstract
A Software Product Line (SPL) is a family of similar programs generated from a common code base. Delta-Oriented Programming (DOP) is a flexible and modular approach to construct SPLs. Ensuring type safety in an SPL (i.e., ensuring that all its programs are well-typed) is a computationally expensive task. Recently, five guidelines to address the complexity of type checking delta-oriented SPLs have been proposed. This paper presents algorithms to refactor delta-oriented SPLs in order to follow the five guidelines. Complexity and correctness of the refactoring algorithms are stated.
Year
DOI
Venue
2016
10.1007/978-3-319-47169-3_45
Lecture Notes in Computer Science
Field
DocType
Volume
Programming language,Type checking,Computer science,Correctness,Software product line,Modular design,Code refactoring,Type safety
Conference
9953
ISSN
Citations 
PageRank 
0302-9743
3
0.38
References 
Authors
12
2
Name
Order
Citations
PageRank
Ferruccio Damiani198971.30
Michael Lienhardt2758.24