现货 Program Synthesis (Foundations and Trends(r) in Programming Languages)[9781680832921]

758 九五品

仅1件

上海宝山

认证卖家担保交易快速发货售后保障

作者Gulwani, Sumit ; Polozov, Oleksandr ; Singh, Rishabh

出版社Now Publishers

ISBN9781680832921

出版时间2017-07

装帧平装

纸张其他

页数138页

正文语种英语

上书时间2023-04-01

已实名已认证进店收藏店铺

商品描述: Program synthesis is the task of automatically ?nding a program in the underlying programming language that satis?es the user intent expressed in the form of some speci?cation. 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 ?eld of program synthesis has developed many di?erent techniques that enable program synthesis in di?erent 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 ?eld 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 sub?elds. 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 ?eld.