{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,3,30]]，“日期时间”：“2022-03-30T17:51:25Z”，“时间戳”：1648662685749}，“出版商位置”：“柏林，海德堡”，“参考计数”：30，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783540691471”，“类型”：“打印”}，{“值”：“9783540691495”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2008,1,1]]，“date-time”：“2008-01-01T00:00:00Z”，“timestamp”：1199145600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：｛“日期部分”：[[2008]]｝，“DOI”：“10.1007\/978-3-540-69149-5_23”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2008,8,12]]，“日期时间”：“2008-08-12T16:07:43Z”，“时间戳”：1218557263000｝，“页面”：“214-226”，“来源”：“Crossref”，“由计数引用”：0，“标题”：[“数据结构一致性检查系统的含义”]，“前缀”：“10.1007”，“作者”：[{“given”：“Viktor”，“family”：“Kuncak”，“sequence”：“first”，“affiliation”：[]}“member”：“297”，“reference”：[{“key”：“23_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“Ball，T.，Majumdar，R.，Millstein：“Barnett，M.，Leino，K.R.M.，Schulte，W.：规范#编程系统：概述。收录于：CASSIS:安全、安全和可互操作智能设备构造与分析国际研讨会（2004）”，“DOI”：“10.1007\/978-3-540-30569-9_3”}，{“issue”：“6”，“key”：“23_CR3”，“DOI-asserted-by”：“publisher”，“first page”：”643“，“DOI:”10.1109\/71.180621“volume”：“3”，“author”：“W.Blume”，“year”：“1992”，“unstructured”：“Blume，W.，Eigenmann，R.：完美基准测试程序上并行化编译器的性能分析。IEEE Transactions on Parallel and Distributed Systems\u00a03（6），643\u2013656（1992）”，“journal-title”：“IEEE Transessions on Paralleland Districated Systems”}，{“key”：“23_CR4”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-642-59207-2”，“volume-title”：“经典决策问题”，“author”：“E.B\u00f6rger”，“year”：“1997”，“unstructured”：“B\u006rger，E.，Gr\u00e4del，E.，Gurevich，Y.：经典决策问题。Springer，Heidelberg（1997）”}，{“key”：“23_CR5”，“doiasserted-by“：”crossref“，“非结构化”：“Chase，D.R.，Wegman，M.，Zadeck，F.K.：指针和结构分析。In:Proc.ACM PLDI（1990）”，“DOI”：“10.1145\/93542.93585”}，{“key”：“23_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Das，M.、Lerner，S.、Seigle，M.：ESP：多项式时间内的路径敏感程序验证。In:Prog.ACM PLC DI（2002）”，《DOI》：“10.145\/512529.512538”}、，{“key”：“23_CR7”，“volume-title”：“使用VDM进行系统软件开发”，“author”：“C.B.Jones”，“year”：“1986”，“unstructured”：“Jones，C.B.：使用VDM的系统软件开发。Prentice Hall International，UK（1986）”}，{“密钥”：“23 _CR8”，“doi-asserted-by”：“crossref”，“非结构化”：“Kuncak，V.，Lam，P.，Rinard，M.：角色分析。摘自：ACM编程语言原理年度研讨会（2002）”，“DOI”：“10.1145\/503272.503276”}，{“key”：“23_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kuncak，V.，Rinard，M.：集值字段的决策过程。摘自：第一届面向对象语言抽象解释国际研讨会（AIOOL 2005）（2005）”，“DOI”：“10.1016\/j.entcs.2005.01.022”}，{“key”：“23_CR10”，“unstructured”：“Lam，P.，Kuncak，V.，Rinard，M.：关于模块化可插拔分析的经验。麻省理工学院CSAIL 965号技术报告（2004年9月）”}，{“key”：“23_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Lam，P.，Kuncak，V.，Rinard，M.：程序规范和分析中的交叉技术。在：第四届面向方面软件开发国际会议（AOSD 2005）（2005）”，“DOI”：“10.1145\/10528981052913”｝，｛“key”：“23_CR12”，“DOI断言”：“crossref”，“非结构化”：“Lam，P.，Kuncak，V.，Rinard，M.：数据结构一致性的广义类型状态检查。In:第六届国际验证、模型检查和抽象解释会议（2005）”，“DOI”：“10.1007\/978-3-540-30579-8_28”}，{“key”：“23_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lam，P.，Kuncak，V.，Rinard，M.：Hob:验证数据结构一致性的工具。In:第十四届国际编译器构造会议（工具演示）（2005年4月）”，“DOI”：“10.1007\/978-3-540-31985-6_16”}，{“key”：“23_CR14”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lev-Ami，T.、Reps，T.，Sagiv，M.、Wilhelm，R.：将静态分析用于验证：案例研究。In:软件测试与分析国际研讨会（2000）”，“DOI”：“10.1145\/347324.348031”}，{“key”：“23_CR15”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lev-Ami，T.，Sagiv，M.：TVLA:实现静态分析的系统。摘自：第七届国际静态分析研讨会（2000）论文集”，“DOI”：“10.1007\/978-3-540-45099-3_15”}，{“key”：“23_CR16”，“unstructured”：“Marinov，D.：可信编译。Master\u2019s论文，麻省理工学院（2000）”}：“Marnette，B.，Kuncak，V.，Rinard，M.：关于基数约束集的算法和复杂性。技术报告，MIT CSAIL（2005年8月）”}，{“key”：“23_CR18”，“series-title”：“计算机科学讲义”，“volume-title”：《计算机科学逻辑》，“author”：“P.O\u2019Hearn”，“year”：“2001”，“unstructured”：“O\u2019Hearn，P.，Reynolds，J.，Yang，H.：关于改变数据结构的程序的局部推理。摘自：Fribourg，L.（ed.）CSL 2001和EACSL 2001。LNCS，vol.\u00a02142，Springer，Heidelberg（2001）“｝，｛”key“：”23_CR19“，”doi断言“：”crossref“，”非结构化“：”Ramalingam，G.，Warshavsky，A.，Field，J.，Goyal，D.，Sagiv，M.：推导用于认证组件-客户端一致性的专门程序分析。在：PLDI（2002）“，”doi“：”10.1145\/5125529.512540“｝，｛”key“：”23_CR20“，”非结构化“：”Reynolds，J.C.：分离逻辑：共享可变数据结构的逻辑。摘自：第17届LICS，pp.55\u201374（2002）“}，{“key”：“23_CR21”，“unstructured”：“Rinard，M.，Marinov，D.：带指针的可信编译。摘自：运行时结果验证研讨会论文集（1999）”}Rinetzky，N.：硬膜外形态分析。2019s硕士论文，Technion-Israel Institute of Technology（2000）“}，{“issue”：“1”，“key”：“23_CR23”，“doi-asserted-by”：“publisher”，“first page”：”1“，“doi”：“10.1145”，卷：“20”，“author”：“M.Sagiv”，“year”：“1998”，“unstructured”：“Sagiv，M.，Reps，T.，Wilhelm，R.：用破坏性更新解决语言中的形状分析问题。ACM TOPLAS\u00a020（1），1\u201350（1998）“，”journal-title“：”ACM to普拉斯“}，{“key”：“23_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Steensgaard，B.：指向几乎线性时间内的分析。in:Proc.233 ACM POPL，Petersburg Beach，FL（1996年1月）”，“doi”：“10.1145\/237721.237727”}，“{”key“：”23_CR25“，”doi-assert by“：”crossref“，”unstructured“：”S\u0103lcianu，A.D.，Rinard，M.：java程序的纯度和副作用分析。In：程序。第六届验证、模型检查和抽象解释国际会议（2005年1月出版）”，“DOI”：“10.1007\/978-3-540-30579-8_14”}，{“key”：“23_CR26”，“DOI-asserted-by”：“crossref”，“unstructured”：“Xie，Y.，Aiken，A.：使用布尔可满足性的可伸缩错误检测。In:POPL 2005（2005）”key“：”23_CR27“，”unstructured“：”Yang，J.，Twohey，P.，Engler，D.，Musuvathi，M.：使用模型检查查找严重的文件系统错误。In:OSDI 2004（2004）“}，{”key“：”23_CR28“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“530”，”doi“：”10.1007\/978-3-540-24730-2_39“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“G.Yorsh”，“year”：“2004”，“unstructured”：“Yorsh，G.，Reps，T.，Sagiv，M.：符号计算形状分析的最精确抽象操作。收录：Jensen，K.，Podelski，A.（编辑）TACAS 2004。LNCS，第u00a02988卷，第530\u2013545页。Springer，Heidelberg（2004）“}，{”key“：”23_CR29“，”doi-asserted-by“：”crossref“，”unstructured“：”Yorsh，G.，Skidanov，A.，Reps，T.，Sagiv，M.：堆制造程序的自动假设/保证推理。In:1st AIOOL Workshop（2005）“，”doi“：”10.1016\/j.entcs.2005.01.028“}”，{“key”：“23_CR30”，“unstructure”：“”Zee，K.，Lam，P.，Kuncak，V.，Rinard，M.：将定理证明与静态分析相结合，以实现数据结构的一致性。In:软件验证与确认国际研讨会（SVV 2004），西雅图（2004年11月）“}]，“container-title”：[“计算机科学课堂讲稿”，“验证的软件：理论、工具、实验”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-69149-5_23”，“content-type”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,13]]，”date-time“：”2019-05-13T07:42:49Z“，”timestamp“：1557733369000}，”score“：1，”resource“：title“：[]，”issued“：{”date-parts“：[[2008]]}，“ISBN”：[“9783540691471”，“978354091495”]，“references-count”：30，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-69149-5_23”，“relation”：{}，“ISSN”：【“0302-9743”，”1611-3349“】，“ISSN-type”：[{“value”：“0302-7743”]，“主题”：[]，“已发布”：{“日期部分”：[[2008]]}}