| Document Date: 2013-04-09 20:33:37
Open Document File Size: 451,92 KBShare Result on Facebook
Company Escher / Oracle / Microsoft / / Currency pence / / Facility University of Toronto / / IndustryTerm forward search phase / generic and efficient algorithm / software engineering / explicit search strategy / inductive synthesis algorithm / generic synthesis algorithm / search technique / forward search / search procedure / data-structure / synthesis tool / search strategy / forward search part / candidate solution / synthesis algorithm / generic and efficient synthesis algorithm / rule applications / search space / search heuristics / / Organization University of Toronto / / Person Sumit Gulwani / Zachary Kincaid / / Position exi Forward / rule Forward / representative / Forward / using Forward / / Technology inductive synthesis algorithm / artificial intelligence / synthesis algorithm / machine learning / generic synthesis algorithm / /
SocialTag |
Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2