scholarly journals Program synthesis from polymorphic refinement types

2016 ◽  
Vol 51 (6) ◽  
pp. 522-538 ◽  
Author(s):  
Nadia Polikarpova ◽  
Ivan Kuraj ◽  
Armando Solar-Lezama
Keyword(s):  
Program Synthesis ◽  
Refinement Types

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

scholarly journals Rely-guarantee references for refinement types over aliased mutable data

2013 ◽  
Vol 48 (6) ◽  
pp. 73-84
Author(s):  
Colin S. Gordon ◽  
Michael D. Ernst ◽  
Dan Grossman
Keyword(s):  
Refinement Types
Sign in / Sign up

Export Citation Format

Share Document