Articoli correlati a Program Synthesis (Foundations and Trends in Programming...

Program Synthesis (Foundations and Trends in Programming Languages) - Brossura

 
9781680832921: Program Synthesis (Foundations and Trends in Programming Languages)

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Risultati della ricerca per Program Synthesis (Foundations and Trends in Programming...

Foto dell'editore

Gulwani, Sumit; Polozov, Oleksandr; Singh, Rishabh
Editore: Now Publishers, 2017
ISBN 10: 1680832921 ISBN 13: 9781680832921
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 138. Codice articolo 26378375879

Contatta il venditore

Compra nuovo

EUR 136,79
Convertire valuta
Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Gulwani, Sumit; Polozov, Oleksandr; Singh, Rishabh
Editore: Now Publishers, 2017
ISBN 10: 1680832921 ISBN 13: 9781680832921
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Print on Demand pp. 138. Codice articolo 385495320

Contatta il venditore

Compra nuovo

EUR 142,43
Convertire valuta
Spese di spedizione: EUR 7,46
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Gulwani, Sumit; Polozov, Oleksandr; Singh, Rishabh
Editore: Now Publishers, 2017
ISBN 10: 1680832921 ISBN 13: 9781680832921
Nuovo Brossura
Print on Demand

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. PRINT ON DEMAND pp. 138. Codice articolo 18378375885

Contatta il venditore

Compra nuovo

EUR 147,39
Convertire valuta
Spese di spedizione: EUR 9,95
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello