{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:31Z”，“时间戳”：1725558991841}，“出版商位置”：“柏林，海德堡”，“参考计数”：11，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540253334“}，{”类型“：“electronic”，“value”：“9783540319801”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_11“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T18:44:5 9Z“，”时间戳“：1278873899000}，”页面“：”157-173“，“source”：“Crossref”，“由count引用”：15，“title”：[“程序理解的依赖类型”]，“prefix”：“10.1007”，“author”：[｛“given”：“Raghavan”，“family”：“Komondoor”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“G.”，“family”：“Ramalingam”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Satish”，“family”：“Chandra”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“John”，“family”：“Field”，”sequence“：”additional“，”affiliance“：[]]]，“member”：“297”，“reference”：[{“key”：”11_CR1“，”unstructured“：”Canfora，G.，Cimitile，A.，Lucca，G.A.D.：从cobol代码中恢复概念数据模型。In:Proc.8th Intl.Conf.on Softw.Eng.and Knowledge Engg（SEKE 1996），pp.277\u2013284。知识系统研究所（1996）“}，{”key“：“11_CR2”，”first page“：”313“，”volume-title“：”Proc.24th Intl.Conf.on Softw.Eng.“，”author“：”B.Demsky“，”year“：”2002“，”unstructured“：”Demsky，B.，Rinard，M.：面向对象程序的基于角色的探索。In:Proc.244 Intl.Conf.on Softw.Engg.，pp.313\u2013324。ACM Press，New York（2002）“}，{”key“：”11_CR3“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1145\/292540.292543”，“volume-title”：“Proc.26th ACM SIGPLAN-SIGACT Symp.on Principles of Programming Languages”，“author”：“P.H.Eidorff”，“year”：“1999”，“unstructured”：“Eidorff，P.H.，Henglein，F.，Mossin，C.，Niss，H.，Sorensen，M.H.，Tofte，M.：Annodomini：从类型理论到2000年转换工具。In：程序。第26届ACM SIGPLAN-SIGACT交响乐团。《编程语言原理》，第1\u201314页。ACM Press，New York（1999）“}，{”key“：”11_CR4“，”doi-asserted-by“：”publisher“，”first page“：“213”，”doi“：”10.1145\/302405.302467“，”volume-title“：”Proc.21st Intl.Conf.on Softw.Eng.“，“author”：“M.D.Ernst”，“year”：“1999”，“unstructured”：“Ernst，M.D.，Cockrell，J.，Griswold，W.G.，Notkin，D.：动态发现可能的程序不变量以支持程序进化。In：程序。第21届国际软硬件会议。工程师。，第213\u2013224页。IEEE Computer Society Press，Los Alamitos（1999）“}，{”issue“：“2”，”key“：“11_CR5”，”doi-asserted-by“：”publisher“，”first page“：”256“，“doi”：“10.1145\/505145.505149”，“volume”：“11”，“author”：“D.Jackson”，“year”：“2002”，“unstructured”：“Jackson，D.：合金：一种轻量级的物体建模符号。《ACM软件工程与方法论学报》\u00a011（2），256\u2013290（2002）“，”期刊标题“：”《ACM关于软件工程和方法论的学报》“}，{”key“：”11_CR6“，”doi-asserted-by“：”publisher“，”first page“：“338”，”doi“：”10.1145\/253228.253351“，”volume-title“：”Proc.19th intl.conf.on Softw.Engg.“，”author“：”R.O\u2019Callahan“，“”年份”：“1997年”，“非结构化”：“O\u2019Callahan，R.，Jackson，D.：Lackwit:基于类型推断的程序理解工具。In：程序。软件上的第19国际合并。工程师。，第338\u2013348页。ACM出版社，纽约（1997）“}，{”key“：”11_CR7“，”doi-asserted-by“：”publisher“，”first page“：“119”，”doi“：”10.1145\/292540.292553“，”volume-title“：”Proc.26th ACM SIGPLAN-SIGACT Symp.on Principles of Programming Languages“，”author“：”G.Ramalingam“，”year“：”1999“，”unstructured“：”Ramalingam，G.，Field，J.，Tip，F.：聚合结构识别及其在程序分析中的应用。In：程序。第26届ACM SIGPLAN-SIGACT交响乐团。《程序设计语言原理》，第119\u2013132页。ACM Press，New York（1999）“｝，｛“key”：“11_CR8”，“volume title”：“The Unified Modeling Language Reference Manual”，“author”：“J.Rumbaugh”，“year”：“2004”，“nonstructured”：“Rumbaugh，J.，Jacobson，I.，Booch，G.：The Unified Modeling Language Reference Manual，2nd edn.Addison Wesley Professional，Reading（2004）”，“edition”：“2”｝，｛“key”：“11_CR9”，“doi-asserted-by“：”publisher“，”first page“：”246“，”doi“：”10.1145\/302405.302629“，”volume-title“：”Proc。第21届国际软硬件会议。工程。“，”author“：”A.Deursen van“，”year“：”1999“，”unstructured“：”van Deursen.A.，Kuipers，T.：使用聚类和概念分析识别对象。In：程序。第21届国际软硬件会议。工程师。，第246\u2013255页。IEEE Computer Society Press，Los Alamitos（1999）“}，{”key“：“11_CR10”，”doi-asserted-by“：”publisher“，”first page“：”74“，”doi“：”10.1109\/WPC.1999.77746“，”volume-title“：”Proc.7th Intl.Workshop on Program Comprehension“，”author“：”A.Deursen van“，“year”：“1999”，“unstructured”：“van Deursen，A.，Moonen，L.：使用推断类型理解COBOL系统。In：程序。第七届国际课程理解研讨会，第74\u201381页。IEEE Computer Society Press，Los Alamitos（1999）“}，{“key”：“11_CR11”，“unstructured”：“Xi，H.：实用程序设计中的依赖类型。卡内基梅隆大学博士论文（1998）”}]，“container-title”：[“计算机科学中的讲义”，“系统构造和分析的工具和算法”]，“original-title“：[]，”链接“：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-540-31980-1_11.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,5,2]，”date-time“：“2021-05-02T23:44:35Z”，”timestamp“：1619999075000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3-540-31980-1_11“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2005]]}，“ISBN”：[“9783540253334”，”9783540319801“]，”引用计数“：11，”URL“http://\/dx.doi.org\/10.1007\/978-2340-31980-1-1_11”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2005]]}}