Zoea – Composable Inductive Programming Without Limits

by   Edward McDaid, et al.

Automatic generation of software from some form of specification has been a long standing goal of computer science research. To date successful results have been reported for the production of relatively small programs. This paper presents Zoea which is a simple programming language that allows software to be generated from a specification format that closely resembles a set of automated functional tests. Zoea incorporates a number of advances that enable it to generate software that is large enough to have commercial value. Zoea also allows programs to be composed to form still larger programs. As a result Zoea can be used to produce software of any size and complexity. An overview of the core Zoea language is provided together with a high level description of the symbolic AI based Zoea compiler.


page 1

page 2

page 3

page 4


A Visual Language for Composable Inductive Programming

We present Zoea Visual which is a visual programming language based on t...

AI Programmer: Autonomously Creating Software Programs Using Genetic Algorithms

In this paper, we present the first-of-its-kind machine learning (ML) sy...

Quantifying the Impact on Software Complexity of Composable Inductive Programming using Zoea

Composable inductive programming as implemented in the Zoea programming ...

Cons-free Programs and Complexity Classes between LOGSPACE and PTIME

Programming language concepts are used to give some new perspectives on ...

Generation and analysis of lamplighter programs

We consider a programming language based on the lamplighter group that u...

New Evolutionary Computation Models and their Applications to Machine Learning

Automatic Programming is one of the most important areas of computer sci...

Low Size-Complexity Inductive Logic Programming: The East-West Challenge Considered as a Problem in Cost-Sensitive Classification

The Inductive Logic Programming community has considered proof-complexit...