杰拉·亨塞尔;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 符号执行的位向量算法程序的终止和复杂性分析。 (英语) 兹比尔1395.68093 J.日志。阿尔盖布。方法计划。 97, 105-130 (2018).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hensel}等人,J.Log。阿尔盖布。方法计划。97、105——130(2018;Zbl 1395.68093) 全文: 内政部
托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 使用指针算法自动证明程序的终止和内存安全。 (英语) Zbl 1409.68077号 J.自动化。推理 58,第1号,33-65(2017).MSC公司:68号30 2012年第68季度 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Ströder}等人,J.Autom。推理58,No.1,33--65(2017;Zbl 1409.68077) 全文: 内政部 链接