Interactive Program Synthesis

点击翻译按钮获取中文摘要

Program synthesis is an important field of computer science, with applications ranging from the simpleauto-completion tools that are found in many spreadsheet packages, all the way to fully-fledged systemsthat are capable of constructing entire programs on their own.A program synthesiser is a system to which a user can describe, in some language, a program whichthey would like; the aim of the synthesiser is to write such a program. There are then two essentialways in which synthesis techniques can differ: the language in which the user describes the desiredprogram, and the method by which the system produces this program.This project will focus on the synthesis of programs that are written in functional programminglanguages, such as Haskell. The purity and composability of these languages makes them well suitedto the problem. Most existing synthesis techniques for functional languages can be placed into one ofthree categories: analytical, enumerative, and learning-based approaches.