User Support for the Combinator Logic Synthesizer Framework

11/27/2018
by   Jan Bessai, et al.
0

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.

READ FULL TEXT

page 3

page 6

research
10/29/2017

Towards A Usability Model for Software Development Process and Practice

Context/Background: process and practice adoption is a key element in mo...
research
08/26/2019

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

We introduce an approach that aims to combine the usage of satisfiabilit...
research
02/13/2023

A Logic for Veracity

This paper shows the initial stages of development, from first principle...
research
05/19/2023

Towards Code Generation from BDD Test Case Specifications: A Vision

Automatic code generation has recently attracted large attention and is ...
research
01/05/2023

The Usability of Advanced Type Systems: Rust as a Case Study

Advanced type systems that enforce various correctness and safety guaran...
research
09/29/2017

Domain Objects and Microservices for Systems Development: a roadmap

This paper discusses a roadmap to investigate Domain Objects being an ad...
research
04/06/2021

Building Beyond HLS: Graph Analysis and Others

High-Level Synthesis has introduced reconfigurable logic to a new world ...

Please sign up or login with your details

Forgot password? Click here to reset