Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.
Saved in:
| Title: | Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. |
|---|---|
| Authors: | Ji, Ruyi1, jiruyi910387714@pku.edu.cn, Zhao, Yuwei1, zhaoyuwei@stu.pku.edu.cn, Xiong, Yingfei1, xiongyf@pku.edu.cn, Wang, Di1, wangdi95@pku.edu.cn, Zhang, Lu2, zhanglucs@pku.edu.cn, Hu, Zhenjiang1, huzj@pku.edu.cn |
| Source: | ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3648440 |
