Yongqiang Tian 0001, Xueyan Zhang, Yiwen Dong 0002, ZhenYang Xu, Mengxiao Zhang, Yu Jiang 0001, Shing-Chi Cheung, Chengnian Sun. On the Caching Schemes to Speed Up Program Reduction. ACM Transactions on Software Engineering Methodology, 33(1), January 2024. [doi]
Abstract is missing.