{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,11]]，“日期时间”：“2023-01-11T03:17:54Z”，“时间戳”：1673407074987}，“出版商位置”：“柏林，海德堡”，“参考计数”：5，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540657637”，“类型”：“打印”}，{“值”：“9783540489597”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/3-540-48959-2_2“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T16:52:16Z“，”时间戳“：1178211136000}，”页面“：”6-13“，”源“：“Crossref”，“is-referenced-by-count”：2，“title”：[“AnnoDomini in Practice:A Type-Theoretic Approach to the Year 2000 Problem”]，“prefix”：“10.1007”、“author”：[{“given”：“Peter Harry”，“family”：“Eidorff”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Fritz”，“家族”：“Henglein”，“序列”：“additional”，“从属关系”：[]}：“Mossin”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Henning”，“family”：“Niss”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Morten Heine B.”，“family”：“S\u00f6rensen”，“sequence”：“additional”，“affiliation”：“additional”，“family”：“Tofte”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，在线发布“：｛”日期部分“：[2002,5,27]]}，“reference”：[{“key”：“2_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“P.H.Eidorff，F.Henglein，C.Mossin，H.Niss，M.H.B S\u00f6rensen，and M.Tofte.Annodomini:From type theory to year 2000 conversion tool。In Principlements of Programming Languages，Januarys 1999。”，“doi”：“10.1145\/292540.292543”}，{“key”：”2_CR2“isbn-type”：“print”，“volume-title”：“The Year 2000 Software Problem-Quantified The Costs and Assessment The Consequences”，“author”：“C.Jones”，“Year”：“1998”，“unstructured”：“C.Jones。The Year 2000-Software Problem-Quantified-The Costs-and Assessing The Resequences.Addison-Wesley，ACM Press，1998。ISBN 0-201-30964-5.“，”ISBN“：”http://\/id.crossref.org\/ISBN\/021309645“}，{“key”：“2_CR3”，“unstructured”：“R.O\u2019Callahan和D.Jackson。Lackwit:一种基于类型推断的程序理解工具。1997年国际软件工程会议（ICSE\u2019 97），马萨诸塞州波士顿，第338\u2013348页，1997年5月。”}，“key：”2_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”G.Ramalingam、J.Field和F.Tip。聚合结构识别及其在程序分析中的应用。《程序设计语言原理》，1999年1月。“，”DOI“：”10.1145 \/292540.292553“}，{”key“：”2_CR5“，”DOI-asserted-by“：”crossref“，”unstructured“：”A.van Deursen和L.Moonen.COBOL系统的类型推断。发表于1998年10月夏威夷檀香山IEEE第五届逆向工程工作会议。“，“DOI”：“10.1109 \/WCRE.1998.723192”}]，“container-title”：[“计算机科学课堂讲稿”，“键入的Lambda Calculi和应用程序”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-48959-2_2”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2019,4,27]]，“日期-时间”：“2019-04-27T17:22:10Z”，“时间戳”：1556385730000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/3-540-48959-2_2”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1999]]｝，“国际标准图书编号”：[“9783540657637”，“9783540489597”]，“引用次数”：5，“URL”：“http:\/\/dx.doi.org/10.1007\/3-540-48959-2_2“，”关系“：{}，“ISSN”：[“0302-9743”]，“ISSN-type”：[{“value”：“0302-7743”，“type”:“print”}]，“subject”：【】，“published”：{“date-parts”：【1999】】}}