分享给好友:
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
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2017年7月11日 |
| ISBN13 | 9781680832921 |
| 出版商 | now publishers Inc |
| 页数 | 156 |
| 商品尺寸 | 233 × 158 × 8 mm · 204 g |
| 语言 | 英语 |
查看Sumit Gulwani的全部作品 ( 例如 Paperback Book )