Fundamentals of deductive program synthesis

1992 ◽  
Vol 18 (8) ◽  
pp. 674-704 ◽  
Author(s):  
Z. Manna ◽  
R. Waldinger
2018 ◽  
Vol 53 (4) ◽  
pp. 436-449 ◽  
Author(s):  
Woosuk Lee ◽  
Kihong Heo ◽  
Rajeev Alur ◽  
Mayur Naik

2015 ◽  
Vol 50 (10) ◽  
pp. 107-126 ◽  
Author(s):  
Oleksandr Polozov ◽  
Sumit Gulwani
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document