130
Voted
POPL
2010
ACM
16 years 3 days ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...