Authors: Jan Bessai and Anna Vasileva
Paper Information
Title: | User Support for the Combinator Logic Synthesizer Framework |
Authors: | Jan Bessai and Anna Vasileva |
Proceedings: | F-IDE F-IDE-18 Proceedings |
Editors: | Paolo Masci, Rosemary Monahan and Virgile Prevosto |
Keywords: | Usability, Type Inhabitation, Type-based Development, Integrated Development Environment |
Abstract: | ABSTRACT. Usability is crucial for the adoption of software development technologies. This is especially true in development stages, where build processes fail, because software is not yet complete or was incompletely modified. We present early work that aims to improve usability of the Combinatory Logic Synthesizer (CL)S framework, especially in these stages. (CL)S is a publicly available type-based development tool for the automatic composition of software components from a user-specified repository. It provides an implementation of a type inhabitation algorithm for Combinatory Logic with intersection types, which is fully integrated into the Scala programming language. Here, we specifically focus on building a web-based IDE to make potentially incomplete or erroneous input specifications for and decisions of the algorithm understandable for non-experts. A main aspect of this is providing graphical representations illustrating the step-wise search process of the algorithm. We also provide a detailed discussion of possible future work to further improve the understandability of these representations. |
Pages: | 10 |
Talk: | Jul 14 11:00 (Session 95C: User interfaces for formal tools) |
Paper: |