Publications

ORCID0000-0002-0241-7729
Google Scholarhttps://scholar.google.de/citations?hl=en&user=0ic62YwAAAAJ
DBLPhttps://dblp.uni-trier.de/pers/d/D=uuml=dder:Boris
SCOPUShttps://www.scopus.com/authid/detail.uri?authorId=55794748200

Show all

2015

Düdder, Boris; Martens, Moritz; Rehof, Jakob

Staged Composition Synthesis Proceedings Article

In: Proceedings of Software Engineering / Software Management 2015, pp. 89–91, GI, 2015.

BibTeX | Tags: Combinatory Logic, Program Synthesis, Staged Composition

Düdder, Boris; Heineman, George T.; Rehof, Jakob

Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition Proceedings Article

In: Workshop on Modular Synthesis of Product Lines (ModSyn-PL) in Proceedings of the 19th International Software Product Line Conference (SPLC'15), pp. 398–401, ACM, Nashville, Tennessee, 2015, ISBN: 978-1-4503-3613-0.

Links | BibTeX | Tags: Combinatory Logic, Features, Product Line, Staged Composition, Synthesis