Export Citations
1 Results for: Keyword: proof-theoretic program synthesis
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,728,952 records)|Limit your search to The ACM Full-Text Collection (748,894 records)
- research-articleJanuary 2010
From program verification to program synthesis
POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesJanuary 2010, Pages 313–326https://doi.org/10.1145/1706299.1706337This 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 by allowing programs to be specified at a higher-level than executable ...
Also Published in:
ACM SIGPLAN Notices: Volume 45 Issue 1January 2010