# Zoea -- Composable Inductive Programming Without Limits

arXiv: https://arxiv.org/abs/1911.08286 · HTML: https://mlsanity.com/paper/1911.08286/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 13 Nov 2019.

## Built on by (most cited first, 4 of 4)

- [Shrinking the Inductive Programming Search Space with Instruction Subsets](https://mlsanity.com/paper/2302.05226/) (2023)
- [Further Decimating the Inductive Programming Search Space with Instruction Digrams](https://mlsanity.com/paper/2305.13347/) (2023)
- [The Composability of Intermediate Values in Composable Inductive Programming](https://mlsanity.com/paper/2107.01621/) (2021)
- [Architecture and Knowledge Representation for Composable Inductive Programming](https://mlsanity.com/paper/2212.12320/) (2022)

## Abstract (arXiv)

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.