A simple inductive synthesis methodology and its applications
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv · 2010
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper, we present a new algorithmic methodology for inductive synthesis that allows us to do this.