Combinatory synthesis of classes using feature grammars

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

We describe a method for automatically transforming feature grammars into type-specifications which are subsequently used to synthesize a code-generator for a product of a given feature selection. Feature models are assumed to be given in the form of feature grammars with constraints, and we present a generic type-theoretic representation of such grammars. Our synthesis method is based on an extension of previous work in combinatory logic synthesis, where semantic types can be superimposed onto native APIs to specify a repository of components as well as synthesis goals. In our case, semantic types correspond to feature selections. We use an encoding of boolean logic in intersection types, which allows us to directly represent logical formulas expressing complex feature selection constraints. The novelty of our approach is the possibility to perform retrieval, selection and composition of products in a unified form, without sacrificing modularity. In contrast to constraint based methods, multiple selections of a single feature can coexist.

Original languageEnglish
Title of host publicationFormal Aspects of Component Software - 12th International Conference, FACS 2015, Revised Selected Papers
EditorsChristiano Braga, Peter Csaba Ölveczky
Number of pages18
PublisherSpringer Verlag
Publication date1 Jan 2016
Pages123-140
ISBN (Print)9783319289335
DOIs
Publication statusPublished - 1 Jan 2016
Externally publishedYes
Event12th International Conference on Formal Aspects of Component Software, FACS 2015 - Niteroi, Brazil
Duration: 14 Oct 201516 Oct 2015

Conference

Conference12th International Conference on Formal Aspects of Component Software, FACS 2015
LandBrazil
ByNiteroi
Periode14/10/201516/10/2015
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9539
ISSN0302-9743

    Research areas

  • Combinatory logic, Feature grammar, Feature models, Program synthesis, Type theory

ID: 230702882