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…