|
Books > Computing & IT > Computer communications & networking
|
Buy Now
Program Synthesis (Paperback)
Loot Price: R2,091
Discovery Miles 20 910
|
|
|
Program Synthesis (Paperback)
Series: Foundations and Trends in Programming Languages
Expected to ship within 10 - 15 working days
|
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
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
