Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressionsopen access
- Authors
- Lee, Woosuk; Cho, Hangyeol
- Issue Date
- Jan-2023
- Publisher
- ASSOC COMPUTING MACHINERY
- Keywords
- Programming by Example; Recursive Functional Programs; Synthesis
- Citation
- Proceedings of the ACM on Programming Languages, v.7, no.POPL, pp 2048 - 2078
- Pages
- 31
- Indexed
- SCOPUS
ESCI
- Journal Title
- Proceedings of the ACM on Programming Languages
- Volume
- 7
- Number
- POPL
- Start Page
- 2048
- End Page
- 2078
- URI
- https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/112773
- DOI
- 10.1145/3571263
- ISSN
- 2475-1421
2475-1421
- Abstract
- We present a novel approach to synthesizing recursive functional programs from input-output examples. Synthesizing a recursive function is challenging because recursive subexpressions should be constructed while the target function has not been fully defined yet. We address this challenge by using a new technique we call block-based pruning. A block refers to a recursion- and conditional-free expression (i.e., straight-line code) that yields an output from a particular input. We first synthesize as many blocks as possible for each input-output example, and then we explore the space of recursive programs, pruning candidates that are inconsistent with the blocks. Our method is based on an efficient version space learning, thereby effectively dealing with a possibly enormous number of blocks. In addition, we present a method that uses sampled input-output behaviors of library functions to enable a goal-directed search for a recursive program using the library. We have implemented our approach in a system called Trio and evaluated it on synthesis tasks from prior work and on new tasks. Our experiments show that Trio outperforms prior work by synthesizing a solution to 98% of the benchmarks in our benchmark suite.
- Files in This Item
-
Go to Link
- Appears in
Collections - COLLEGE OF COMPUTING > ERICA 컴퓨터학부 > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/112773)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.