![](/img/cover-not-exists.png)
[ACM Press the 2016 ACM SIGPLAN International Conference - Amsterdam, Netherlands (2016.11.02-2016.11.04)] Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 - Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
Itzhaky, Shachar, Singh, Rohit, Solar-Lezama, Armando, Yessenov, Kuat, Lu, Yongquan, Leiserson, Charles, Chowdhury, RezaulYear:
2016
Language:
english
DOI:
10.1145/2983990.2983993
File:
PDF, 513 KB
english, 2016