Synthesizing type-safe compositions in feature oriented software designs using staged composition

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Standard

Synthesizing type-safe compositions in feature oriented software designs using staged composition. / Düdder, Boris; Rehof, Jakob; Heineman, George T.

Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., 2015. p. 398-401 (ACM International Conference Proceeding Series, Vol. 20-24-July-2015).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Düdder, B, Rehof, J & Heineman, GT 2015, Synthesizing type-safe compositions in feature oriented software designs using staged composition. in Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., ACM International Conference Proceeding Series, vol. 20-24-July-2015, pp. 398-401, 19th International Software Product Line Conference, SPLC 2015, Nashville, United States, 20/07/2015. https://doi.org/10.1145/2791060.2793677

APA

Düdder, B., Rehof, J., & Heineman, G. T. (2015). Synthesizing type-safe compositions in feature oriented software designs using staged composition. In Proceedings - 19th International Software Product Line Conference, SPLC 2015 (pp. 398-401). Association for Computing Machinery, Inc.. ACM International Conference Proceeding Series Vol. 20-24-July-2015 https://doi.org/10.1145/2791060.2793677

Vancouver

Düdder B, Rehof J, Heineman GT. Synthesizing type-safe compositions in feature oriented software designs using staged composition. In Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc. 2015. p. 398-401. (ACM International Conference Proceeding Series, Vol. 20-24-July-2015). https://doi.org/10.1145/2791060.2793677

Author

Düdder, Boris ; Rehof, Jakob ; Heineman, George T. / Synthesizing type-safe compositions in feature oriented software designs using staged composition. Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., 2015. pp. 398-401 (ACM International Conference Proceeding Series, Vol. 20-24-July-2015).

Bibtex

@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",

}

RIS

TY - GEN

T1 - Synthesizing type-safe compositions in feature oriented software designs using staged composition

AU - Düdder, Boris

AU - Rehof, Jakob

AU - Heineman, George T.

PY - 2015/7/20

Y1 - 2015/7/20

N2 - 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.

AB - 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.

KW - Automatic program synthesis

KW - Combinatory logic eir

KW - Feature composition

KW - Type theory

UR - http://www.scopus.com/inward/record.url?scp=84982793242&partnerID=8YFLogxK

U2 - 10.1145/2791060.2793677

DO - 10.1145/2791060.2793677

M3 - Article in proceedings

AN - SCOPUS:84982793242

T3 - ACM International Conference Proceeding Series

SP - 398

EP - 401

BT - Proceedings - 19th International Software Product Line Conference, SPLC 2015

PB - Association for Computing Machinery, Inc.

T2 - 19th International Software Product Line Conference, SPLC 2015

Y2 - 20 July 2015 through 24 July 2015

ER -

ID: 230702680