2022/12/22 by Edward McDaid, McDaid, Edward, Sarah McDaid +1
Computer Science · #Artificial Intelligence (cs.AI) #D.1.2 #D.2.3 #D.3.2 #D.3.4 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.11 #I.2.2 #I.2.4 #I.2.5 #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research
paper · pdf · doi:10.48550/arxiv.2212.12320
openalex publication_date 2022/12/22 · openalex created_date 2023/01/04 · openalex updated_date 2026/07/28
We present an update on the current architecture of the Zoea knowledge-based, Composable Inductive Programming system. The Zoea compiler is built using a modern variant of the black-board architecture. Zoea integrates a large number of knowledge sources that encode different aspects of programming language and software development expertise. We describe the use of synthetic test cases as a ubiquitous form of knowledge and hypothesis representation that sup-ports a variety of reasoning strategies. Some future plans are also outlined.