Better Predicate Pruning and Heuristics for Commutativity Synthesis

Better Predicate Pruning and Heuristics for Commutativity Synthesis
复制标题

更好的谓词修剪和启发式交换性综合

DOI：
--
复制
发表时间：
2023
期刊：
International Symposium on Automated Technology for Verification and Analysis
影响因子：
--
通讯作者：
Pincus, Jared
Pincus, Jared
中科院分区：
--
文献类型：
--
作者：
Chen, Adam;Brennan, Tegan;Fathololumi, Parisa;Koskinen, Eric;Nicola, Mihai;Pincus, Jared

文献摘要

相似文献