A Visual Language for Composable Inductive Programming

TL;DR

Zoea Visual is a visual programming language enabling users to generate software from specifications resembling functional test cases, leveraging data flow models for efficient program synthesis.

Contribution

The paper introduces Zoea Visual, a novel visual language for composable inductive programming that simplifies software creation from test case specifications.

Findings

Enables creation of complex data structures visually.

Improves program synthesis time through data flow information.

Provides an overview and discusses benefits and future work.

Abstract

We present Zoea Visual which is a visual programming language based on the Zoea composable inductive programming language. Zoea Visual allows users to create software directly from a specification that resembles a set of functional test cases. Programming with Zoea Visual involves the definition of a data flow model of test case inputs, optional intermediate values, and outputs. Data elements are represented visually and can be combined to create structures of any complexity. Data flows between elements provide additional information that allows the Zoea compiler to generate larger programs in less time. This paper includes an overview of the language. The benefits of the approach and some possible future enhancements are also discussed.