Showing 1–1 of 1 results for author: Kallat, F

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

Authors: Fadil Kallat, Tristan Schäfer, Anna Vasileva

Abstract: We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for the automatic composition of software components from a user-specified repository. The framework yields a tree grammar that contains all composed terms that comply with a target type. Type specifications for (CL)S are b… ▽ More We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for the automatic composition of software components from a user-specified repository. The framework yields a tree grammar that contains all composed terms that comply with a target type. Type specifications for (CL)S are based on combinatory logic with intersection types. Our approach translates the tree grammar into SMT functions, which allows the consideration of additional domain-specific constraints. We demonstrate the usefulness of our approach in several experiments. △ Less

Submitted 26 August, 2019; originally announced August 2019.

Comments: In Proceedings PxTP 2019, arXiv:1908.08639

Journal ref: EPTCS 301, 2019, pp. 51-65