Synthesizing type-safe compositions in feature oriented software designs using staged composition
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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.
Originalsprog | Engelsk |
---|---|
Titel | Proceedings - 19th International Software Product Line Conference, SPLC 2015 |
Antal sider | 4 |
Forlag | Association for Computing Machinery, Inc. |
Publikationsdato | 20 jul. 2015 |
Sider | 398-401 |
ISBN (Elektronisk) | 9781450336130 |
DOI | |
Status | Udgivet - 20 jul. 2015 |
Eksternt udgivet | Ja |
Begivenhed | 19th International Software Product Line Conference, SPLC 2015 - Nashville, USA Varighed: 20 jul. 2015 → 24 jul. 2015 |
Konference
Konference | 19th International Software Product Line Conference, SPLC 2015 |
---|---|
Land | USA |
By | Nashville |
Periode | 20/07/2015 → 24/07/2015 |
Sponsor | BigLever Software, Inc., Vanderbilt University |
Navn | ACM International Conference Proceeding Series |
---|---|
Vol/bind | 20-24-July-2015 |
ID: 230702680