Export Citations
1 Results for: Keyword: bapa
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,815,653 records)|Limit your search to The ACM Full-Text Collection (772,220 records)
Select All
- research-articleJune 2010
Complete functional synthesis
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and ImplementationPages 316–329https://doi.org/10.1145/1806596.1806632Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way - they should succeed for a well-...
Also Published in:
ACM SIGPLAN Notices: Volume 45 Issue 6
