@inproceedings{7c1715fd91444cc482b077130fb96d97,
title = "Synthesizing type-safe compositions in feature oriented software designs using staged composition",
abstract = "The composition of features that interact with each other is challenging. Algebraic formalisms have been proposed by various authors to describe feature compositions and their interactions. The intention of feature compositions is the composition of fragments of documents of any kind to a product that fulfills users' requirements expressed by a feature selection. These modules often include code modules of typed programming languages whereas the proposed algebraic formalism is agnostic to types. This situation can lead to product code which is not type correct. In addition, types can carry semantic information on a program or module. We present a type system and connect it to an algebraic formalism thereby allowing automatic synthesis of feature compositions yielding well-typed programs.",
keywords = "Automatic program synthesis, Combinatory logic eir, Feature composition, Type theory",
author = "Boris D{\"u}dder and Jakob Rehof and Heineman, {George T.}",
year = "2015",
month = jul,
day = "20",
doi = "10.1145/2791060.2793677",
language = "English",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery, Inc.",
pages = "398--401",
booktitle = "Proceedings - 19th International Software Product Line Conference, SPLC 2015",
note = "19th International Software Product Line Conference, SPLC 2015 ; Conference date: 20-07-2015 Through 24-07-2015",
}