Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms

Ruyi Ji, Yuwei Zhao, Yingfei Xiong^*, Di Wang, Lu Zhang, Zhenjiang Hu

TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted · January 2024

Read paper View BibTeX

BibTeX

@article{TOPLAS24,
  author = {Ruyi Ji and Yuwei Zhao and Yingfei Xiong and Di Wang and Lu Zhang and Zhenjiang Hu},
  title = {Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms},
  year = {2024},
  month = {1},
  journal = {TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted},
  site_corr = {3}
}