most citedUsing Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2013★ 2 cited

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

Boris Düdder, Oliver Garbe, Moritz Martens +2

We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection type…