{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,9]]，“日期时间”：“2024-02-09T23:28:19Z”，“时间戳”：1707521299527}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783642237010”，“类型”：“打印”}，{“值”：“9783642237027”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}，{“start”：{-“date-ports”：[2011,1,1]，“日期-时间”：“2011-01-01T00:00:00Z”，“时间戳”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2011]]}，”DOI“：”10.1007\/978-3642-23702-7_17“，”type“：”book-chapter“，”created“：{”date-ports“：[[2011,9,9]]，”日期时间“：“2011-09-09T17:31:31Z”，“时间戳”：1315589491000}，“页面”：“198-215”，“源”：“Crossref”，“is-referenced-by-count”：6，“标题”：[“仿射关系的抽象域”]，“前缀”：“10.1007”，，“作者”：[{“给定”：“Matt”，“家族”：“长者”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“Junghee”，“家庭”：“Lim”，”序列“附加”，“隶属关系”：[]}，{“给定”：“Tushar”，“family”：“Sharma”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Tycho”，“家族”：“Andersen”，“serquence”:“additionable”，“abfiliation“：[]neneneep，{”given“：”Thomas“，”family“：”Reps“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“297”，“reference”：[{“key”：”17_CR1“，“unstructured”：“Bach，E.：线性代数模n。未出版手稿（1992年12月）“}，{”key“：”17_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”Bouajjani，A.，Esparza，J.，Touili，T.：带有过程的并发程序静态分析的通用方法。In:POPL（2003）“，”doi“：”10.1145\/604131.604137“}”，{“key”：“17_CR3”，“unstructure”：“”Dutertre，B.，de Moura，L.：Yices:An SMT solver（2006），http://\/Yices.csl.sri.com/“}，{“key”：“17_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Elder，M.，Lim，J.，Sharma，T.，Andersen，T.、Reps，T.：仿射关系的抽象域。科技代表TR-1691，威斯康星州麦迪逊大学计算机科学系（2011年6月）”，“doi”：“10.1007\/978-3-642-23702-7_17“}，{“key”：“17_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Gulwani，S.，Necula，G.：使用随机解释发现仿射等式。In：POPL（2003）”，“doi”：“10.1145\/604131.604138”}，}，“key“：”17_CR6“，”doi-assert-by“：”crossref.“，”：“unstrustured”Gulwani，S.，Necula，G.：使用随机解释进行精确的程序间分析。在：POPL（2005）“，”DOI“：”10.1145\/1040305.100332“}，{“key”：“17_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“Hafner，J.，McCurley，K.：环上矩阵的渐近快速三角化。SIAM J.Compute.\u00a020（6）“：”豪厄尔，J.：模块跨度（\u2124 m）s。线性和多线性代数\u00a019（1986）“，”DOI“：”10.1080\/0308188608817705“}，{”key“：”17_CR9“，”DOI-asserted-by“：”publisher“，”first page“：“133”，“DOI”：“10.1007\/BF00268497”，”volume“：2013151（1976）“，”期刊标题“：”Acta Inf.“｝，｛”key“：”17_CR10“，”非结构化“：”Kidd，N.，Lal，A.，Reps，T.：WALi:加权自动机库（2007），http:\/\/wcs.wisc.edu\/wpis\/wpds\/download.php“｝，｛”key“：”17_CR11“，”系列标题“：”计算机科学讲义“，”doi断言者“：”出版商“，”第一页“：”281“，”doi“：”10.1007\/978-3-540-70545-1_2.6英寸，“volume-title“：”计算机辅助验证“，”作者“：”A.King“，”year“：”2008“，”unstructured“：”King，A.，S\u00f8ndergaard，H.：使用SAT推断同余方程。In：Gupta，A.，Malik，S.（eds.）CAV 2008。LNCS，第u00a05123卷，第281\u2013293页。施普林格，海德堡（2008）“}，{“键”：“17_CR12”，“系列标题”：“计算机科学讲义”，“doi断言”：“出版商”，“第一页”：“197”，“doi”：“10.1007\/978-3-642-11319-2_16”，“卷标题”：“验证、模型检查和抽象解释”，“作者”：“A.King”，“年份”：“2010”，“非结构化”：“King，A.，S\u00f8ndergaard，H.：同余的自动抽象。在：Barthe，G.，Hermenegildo，M.（编辑）VMCAI 2010。LNCS，第u00a05944卷，第197\u2013213页。Springer，Heidelberg（2010）“}，{”key“：”17_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-55984-1_13“，“volume-title”：“编译器构造”，“author”：“J.Knoop”，“year”：“1992”，“unstructured”：“Knoop，J.，Steffen，B.：过程间重合定理。收录：Pfahler，P.，Kastens，U.（编辑）CC 1992。LNCS，卷\u00a0641。Springer，Heidelberg（1992）“}，{”key“：”17_CR14“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“343”，”doi“：”10.1007\/11817963_32“，”volume-title“：“计算机辅助验证”，”author“：”A.Lal“，”year“：”2006“，”unstructured“：”Lal，A.，Reps，T.：改进下推系统模型检查。收录：Ball，T.，Jones，R.B.（编辑）CAV 2006。LNCS，第u00a04144卷，第343\u2013357页。Springer，Heidelberg（2006）“}，{”key“：”17_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“434”，”doi“：”10.1007\/11513988_44“，”volume-title“：“计算机辅助验证”，”author“：”A.Lal“，”year“：”2005“，”unstructured“：”Lal，A.，Reps，T.，Balakrishnan，G.：扩展加权下推系统。收录：Etessami，K.，Rajamani，S.K.（编辑）CAV 2005。LNCS，卷\u00a03576，第434\u2013448页。Springer，Heidelberg（2005）“}，{“key”：“17_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Lim，J.，Reps，T.：生成机器指令静态分析器的系统。In:Hendren，L.（ed.）CC 2008。LNCS，第u00a04959卷，第36\u201352页。Springer，Heidelberg（2008）“，“DOI”：“10.1007\/978-3-540-78791-4_3”}，{“key”：“17_CR17”，“DOI-asserted-by”：“crossref”，“unstructured”：“Meyer，C.：矩阵分析与应用线性代数”，SIAM，Philadelphia（2000）“，”DOI“：”10.1137\/1.9780898719512M\u00fcller-Olm，M.，Seidl，H.：通过线性代数进行精确的过程间分析。In:POPL（2004）“，”DOI“：”10.1145\/964001.964029“}，{“key”：“17_CR19”，“series-title”：“计算机科学课堂讲稿”，“DOI-asserted-by”：“publisher”，“first page”：”46“，”DOI“：“10.1007\/978-3-540-31987-0_5”，“volume-title”：”编程语言和系统“，”author“：”M.M\u00fcller-Olm“，”年份“：”2005“，”非结构化“：”M\u00fcller-Olm，M.，Seidl，H.：模运算分析。摘自：Sagiv，M.（编辑）《2005年员工持股计划》。LNCS，第u00a03444卷，第46\u201360页。Springer，Heidelberg（2005）“}，{“key”：“17_CR20”，“unstructured”：“M\u00fcller-Olm，M.，Seidl，H.：个人通信（2005年4月）”}，}“key:”17_CR21“，”doi-asserted-by“：”crossref“，”unstructure“：”M\u00 fcller-Orm，M.、Seidl、H.：模运算分析。TOPLAS\u00a029（5）（2007）“，”doi“：”10.1145\/1275497.1275504“}”，{键“：”17_CR22“，”series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“252”，“doi”：“10.1007\/978-3-540-24622-0_21”，“volume-title”：“验证、模型检查和抽象解释”，“author”：“T.Reps”，“year”：“2004”，“unstructured”：“Reps，T.，Sagiv，M.，Yorsh，G.：最佳变压器的符号实现。收录：Steffen，B.，Levi，G.（编辑）VMCAI 2004。LNCS，第u00a02937卷，第252\u2013266页。Springer，Heidelberg（2004）“}，{”key“：”17_CR23“，”doi-asserted-by“：”crossref“，”unstructured“：”Reps，T.、Schwoon，S.、Jha，S.和Melski，D.：加权下推系统及其在过程间数据流分析中的应用。SCP\u00a058（1-2）（2005年10月）“，”doi“：”10.1016\/j.scico.2005.02.009“}”，{“key”：“17_CR24”，“unstructure”：“”Sharir，M.，Pnueli，A.：程序间数据流分析的两种方法。在：程序流分析：理论与应用。Prentice-Hall，Englewood Cliffs（1981）“}，{“key”：“17_CR25”，“unstructured”：“Storjohann，A.：矩阵规范形式的算法。博士论文，苏黎世ETH，瑞士苏黎世，Diss.ETH No.13922（2000）”}，“key“：”17_CR26“，“volume-title”：“Hacker\u2019s Delight”，“author”：“H.Warren Jr.”，“year”：“2003”，“非结构化”：“Warren Jr.，H.：黑客\u2019s快乐。Addison-Wesley，Reading（2003）“}”，“container-title”：[“静态分析”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3642-23702-7_17”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,6,15]]，”date-time“：”2019-06-15T03:03:26Z“，”timestamp“：1560567806000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com\/10.1007\/978-3642-23702-7_17“}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2011]]}、“ISBN”：[“9783642237010“，”9783642237027“]，”references-count“：26，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-642-23702-7_17“，“关系”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN type”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2011]]｝｝