
Tell your friends about this item:
Program Synthesis - Foundations and Trends in Programming Languages
Sumit Gulwani
Program Synthesis - Foundations and Trends in Programming Languages
Sumit Gulwani
Provides a general overview of the state-of-the-art approaches to program synthesis, its applications, and subfields. The book discusses the general principles common to all modern synthesis approaches such as syntactic bias, oracle-guided inductive search, and optimization techniques.
156 pages
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | July 11, 2017 |
ISBN13 | 9781680832921 |
Publishers | now publishers Inc |
Pages | 156 |
Dimensions | 233 × 158 × 8 mm · 222 g |
See all of Sumit Gulwani ( e.g. Paperback Book )