Logic Program Synthesis from Incomplete Speci

Program synthesis research aims at maximally automating the passage from specifica-tions to programs (see the survey by Biermann, 1992). We define possible formalisms for the starting points (specifications: see Section 1.1) and results (programs: see Section 1.2) of synthesis, and state existing approaches and related work, before pinnin