2019/11/13 by Edward McDaid, McDaid, Edward, Sarah McDaid +1 · 2 citations
Computer Science · #Formal Methods in Verification #Software Engineering Research #Software Reliability and Analysis Research #cs.AI #cs.PL
paper · pdf · doi:10.48550/arxiv.1911.08286
13 pages, 4 figures
arxiv created 2019/11/13 · arxiv updated 2019/11/20
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.