Program Synthesis (Paperback)

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 synthesis has developed many different techniques that enable program synthesis in different real-life application domains. It is now used successfully in software engineering, biological discovery, compute-raided education, end-user programming, and data cleaning. In the last decade, several applications of synthesis in the field of programming by examples have been deployed in mass-market industrial products. This monograph is a general overview of the state-of-the-art approaches to program synthesis, its applications, and subfields. It discusses the general principles common to all modern synthesis approaches such as syntactic bias, oracle-guided inductive search, and optimization techniques. We then present a literature review covering the four most common state-of-the-art techniques in program synthesis: enumerative search, constraint solving, stochastic search, and deduction-based programming by examples. It concludes with a brief list of future horizons for the field.

General

Imprint:	Now Publishers Inc
Country of origin:	United States
Series:	Foundations and Trends in Programming Languages
Release date:	July 2017
First published:	2017
Authors:	Sumit Gulwani • Oleksandr Polozov • Rishabh Singh
Dimensions:	158 x 233 x 8mm (L x W x T)
Format:	Paperback
Pages:	156
ISBN-13:	978-1-68083-292-1
Categories:	Books > Computing & IT > Computer programming > General Books > Computing & IT > Computer communications & networking > General Promotions
LSN:	1-68083-292-1
Barcode:	9781680832921

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!