Duedder, BorisMartens, MoritzRehof, JakobAßmann, UweDemuth, BirgitSpitta, ThorstenPüschel, GeorgKaiser, Ronny2017-06-302017-06-302015978-3-88579-633-6A framework for composition synthesis is provided in which metalanguage combinators are supported and the execution of synthesized progrenText/Conference Paper1617-5468