{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T06:52:52Z”，“时间戳”：1725605572073}，“出版商位置”：“柏林，海德堡”，“参考计数”：17，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 642642494“}，{”类型“：“electronic”，“value”：“9783642600852”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/978-3642-60085-2_5“，”type“：”book-capter“，”created“：”{“date-part”：[2011,9,8]]，“date-time”：“2011-09-08T11:03:26Z“，”时间戳“：1315479806000}，”页面“：”109-126“，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“多语言程序的链接时间优化”]，“prefix”：“10.1007”，”author“：[{”given“：”Saumya“，”family“：”Debray“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“reference”：[}“volume-title”：“Compilers-Principles”，“year”：“1986”，“author”：“AV Aho”，‘key’：“5_CR1”，“非结构化”：“A.V。Aho，R.Sethi和J.D.Ullman，《编译器-原则、技术和工具》，Addison-Wesley，1986年。“}，{“key”：“5_CR2”，“doi-asserted-by”：“publisher”，“first page”：”99“，“doi”：“10.1145 \/258948.258959”，“volume”：《Proc.1997》，“author”：“JM Ashley”，“year”：“1997”，“unstructured”：“J.M。Ashley，\u201c内联流分析的有效性\u201d，Proc。1997年SI GPL AN函数编程国际会议，1997年6月，第99\u2013111页。“，“journal-title”：“SI GPL AN-函数编程国际大会”}，{“key”：“5_CR3”，“doi-asserted-by”：“publisher”，“first-page”：“112”，“doi”：“10.1145\/258948.258960”，“volume”：《1997》，“author”：“M Blume”，“year”：“1997”，“unstructured”：“M。Blume和A.W.Appel，《u201cLambda-splitting:交叉模块优化的高阶方法》，Proc。1997年SIGPLAN国际函数编程会议，1997年6月，第112\u2013124页。“，“新闻标题”：“SIGPLAN函数编程国际会议”}，{“key”：“5_CR4”，“首页”：“397”，“volume-title”：“\u201c减少C++程序中的间接函数调用开销\u201d，Proc。第21届ACM编程语言原理研讨会”，“作者”：“B Calder”，“年份”：“1994年”，“非结构化”：“B.Calder和D.Grunwald，\u201c减少C++程序中的间接函数调用开销\u201d，Proc。第21届ACM编程语言原理研讨会，1994年1月，第397\u2013408页。“}，{”key“：”5_CR5“，”doi-asserted-by“：”publisher“，”first page“：“242”，”doi“：”10.1145\/195473.195553“，”volume-title“：”\u201c通过分支对齐降低分支成本\u201d，第六届编程语言和操作系统体系结构支持国际会议”，“作者”：“B Calder”，“年份”：“1994”，“非结构化”：“B.Calder和D.Grunwald，\u201c通过分支对齐减少分支成本\u 201d，第六届编程语言和操作系统体系结构支持国际会议，1994年10月，第242\u2013251页。“}，{“key”：“5_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“P.Codognet and D。Diaz，\u201cwamcc:将Prolog编译为C\u201d，程序。第十二届逻辑编程国际会议，1995年6月，第317\u2013332页，麻省理工学院出版社。“，”DOI“：”10.7551\/mitpress\/4298.003.0037“}，{”volume-title“：”u201cThe Impact of Interprocesdura Analysis and Optimization on the Design of a Software Development Environment\u201d，Technical Report COMP TR84\u20136“，”year“：”1984“，”author“：”KD Cooper“，”key“：”5_CR7“，”unstructured“：”K.D.Cooper，K.Kennedy，and L。Torczon，\u201cThe Impact of Interprocesdura Analysis and Optimization on the Design of a Software Development Environment\u201d，Technical Report COMP TR84\u20136，Department of Computer Science，Rice University，Houston，Texas，1984。“}，{“key”：“5_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“F。Henglein，\u201c通过类型推断进行全局标记优化\u201d，Proc。1992年ACM Lisp与函数编程研讨会，第205\u2013215页。“，“DOI”：“10.1145”，“key”：“5_CR9”，“unstructured”：“M.Hermenegildo，个人通信，1998年11月。”。Wright，避免运行时检查的有效流量分析，Proc。1995年静态分析研讨会（SAS\u201995），1995年9月S.Jagannathan和A.Wright，\u201cFlow-directed Inlining\u201d，Proc。SIGPLAN\u201996编程语言设计与实现会议，1996年5月，pp.193\u2013205.“｝，｛“key”：“5_CR12”，“doi asserted by”：“publisher”，“first page”：“16”，“doi”：“10.1145\/93542.93550”，“volume title”：“\u201cProfile Guided Code Positioning\u201d，Proc.SIGPLAN\u201990编程语言设计与实现会议”author“：”K Pettis“，”year“：”1990“，”unstructured“：”K.Pettis and R.C.Hansen，\u201cProfile-Guided Code Positioning\u201d，Proc。SIGPLAN\u201990编程语言设计与实现会议，1990年6月，第16\u201327页。Leroy，\u201cThe Effectives of Type-Based Unboxing \u201d，Workshop on Types in Compilation\u201997，阿姆斯特丹，1997。“}，{”key“：”5_CR14“，”doi-asserted-by“：”publisher“，”first page“：“28”，”doi“：”10.1145\/93551“，”volume-title“：”\u201c跨过程和模块边界的寄存器分配\u201d，程序。SIGPLAN\u201990编程语言设计与实现会议”，“作者”：“V Santhanam”，“年份”：“1990年”，“非结构化”：“V.Santhanam和D.Odnert，跨过程和模块边界的寄存器分配\u201d，Proc。SIGPLAN\u201990编程语言设计与实现会议，1990年6月，第28\u201339页。“}，{”key“：”5_CR15“，”first page“：“366”，“volume-title”：“\u201cBigloo:a portable and optimization compiler for strict functional languages\u201d Proc.Static Analysis Symposium（SAS\u2011995）”，“author”：“M Serrano”，“year”：“1995”，“unstructured”：“M.”。Serrano和P.Weis，\u201cBigloo:strict functional languages\u201d Proc的可移植优化编译器。静态分析研讨会（SAS\u201995），1995年，第366\u2013381页。Srivastava，\u201cUnreachable Procedures in Object Oriented Programming \u201d，ACM Letters on Programming Languages and Systems第1卷第4期，1992年12月，第355\u2013364页。”，“期刊标题”：“ACM Letters on Programming Languages and Systems”，｛“key”：“5_CR17”，“首页”：“35”，“volume”：“vol.1302”，“author”：“O Waddell”，“year”：“1997”，“nonstructured”：“O。Waddell和R.K.Dybvig，\u201cFast and Effective Procedure Inlining\u201d，Proc。1997年静态分析研讨会（SAS\u201997），1997年9月，第35\u201352页。Springer-Verlag LNCS vol.1302.“，”journal-title“：”LNCS“}]，”container-title”：[“人工智能”，“逻辑编程范式”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3642-60085-2_5.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“deposed”：{“date-parts”：[[2024,4,11]]，“date-time”：“2024-04-11T04:28:10Z”，“timestamp”：1712809690000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3642-60085-25”}}，”subtitle“：[]，”shorttitle“：[]，”issued“83642642494“，”9783642600852“]，”references-count“：17，”URL“：“http://\/dx.doi.org\/10.1007\/978-3642-60085-2_5”，“关系”：{}，“ISSN”：[“1431-0066”]，“ISSN-type”：[{“类型”：“打印”，“值”：“1431-0046”}]，“主题”：[]，“发布”：{“日期-部分”：[1999]}}}}