Syeda、Hira Taqdees;格温·克莱恩 缓存地址转换下的形式化推理。 (英语) 兹比尔1468.68070 J.汽车。推理 64,第5期,911-945(2020年).MSC公司:68N25号 03B70号 68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.T.Syeda}和\textit{G.Klein},J.奥托姆。推理64,No.5,911-945(2020;Zbl 1468.68070) 全文: 内政部
王蒙;田聪;张楠;段振华;姚晨光 将Xd-C程序转换为MSVL程序。 (英语) Zbl 1436.68077号 西奥。计算。科学。 809, 430-465 (2020).MSC公司:68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,Theor。计算。科学。809430-465(2020年;Zbl 1436.68077) 全文: 内政部 arXiv公司