更好地结合:统一Datalog与等式饱和

摘要:egglog:统一Datalog和等饱和(EqSat)的修正点推理系统

作者:Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey

论文ID:2304.04332

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-05-17

PDF 下载: 英文版 中文版pdf翻译中