English Program synthesis Cited by user Citation bot on 22 Mar 2020 In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification.