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

TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted · 2024年1月

阅读全文查看 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}
}