scholarly journals DryadSynth: Release as PLDI 2020 Artifact: Reconciling Enumerative and Deductive Program Synthesis

2020 ◽  
Author(s):  
Kangjing Huang ◽  
Xiaokang Qiu ◽  
Peiyuan Shen ◽  
Yanjun Wang
Keyword(s):  
Program Synthesis ◽  
Deductive Program Synthesis

Fundamentals of deductive program synthesis

1992 ◽  
Vol 18 (8) ◽  
pp. 674-704 ◽  
Author(s):  
Z. Manna ◽  
R. Waldinger
Keyword(s):  
Program Synthesis ◽  
Deductive Program Synthesis

scholarly journals Accelerating search-based program synthesis using learned probabilistic models

2018 ◽  
Vol 53 (4) ◽  
pp. 436-449 ◽  
Author(s):  
Woosuk Lee ◽  
Kihong Heo ◽  
Rajeev Alur ◽  
Mayur Naik
Keyword(s):  
Probabilistic Models ◽  
Program Synthesis

FlashMeta: a framework for inductive program synthesis

2015 ◽  
Vol 50 (10) ◽  
pp. 107-126 ◽  
Author(s):  
Oleksandr Polozov ◽  
Sumit Gulwani
Keyword(s):  
Program Synthesis
Sign in / Sign up

Export Citation Format

Share Document