Program Synthesis

by Oleksandr Polozov, Rishabh Singh, Sumit Gulwani

Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of some specification. Since the inception of artificial intelligence in the 1950s, this problem has been considered the holy grail of Computer Science. Despite inherent challenges in the problem such as ambiguity of user intent and a typically enormous search space of programs, the field of program...

• Format: Paperback
• Language: English
• ISBN: 1680832921
• ISBN13: 9781680832921
• Release Date: July 2017
• Publisher: Now Publishers
• Length: 138 Pages
• Weight: 0.45 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"