{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,9,7]]，“日期-时间”：“2024-09-07T23:06:29Z”，“时间戳”：1725750389463}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：18，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-re striction“：true}，”short-container-title“（限制）：[]，“published-print”：{“date-parts”：[[2000,5]]}，“DOI”：“10.1145\/349299.315”，“type”：“proceedings-article”，“created”：{“date-ports”：[2003,11,14]]，“date-time”：“2003-11-14T16:24:15Z”，“timestamp”：1068827055000}，”page“95-107”，“update-policy”：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：81，”title“：[“Java的认证编译器”]，“前缀”：“10.1145”，“作者”：[{“给定”：“克里斯托弗”，“家族”：“科尔比”，“序列”：“第一”，“从属关系”：[}“名称”：“Cedilla Systems Incorporated，4616 Henry Street，Pittsburgh，Pennsylvania”}]}：“Cedilla Systems Incorporated，4616 Henry Street，Pittsburgh，Pennsylvania”}]}，{“given”：“George C.”，“family”：“Necula”，“sequence”：“additional”，“affiliation”：[{“name”：“Cedilla SystemsIncorporationd，4616亨利Street，匹兹堡，Pennsvania”{]}、{“Givent”：“Fred”，“家族”：“Blau”，“序列”：“additional”、“affidiation”：[{“name”：“Cedilla Systems Incorporated，4616 Henry Street，Pittsburgh，Pennsylvania”}]}，{“given”：“Mark”，“family”：“Plesko”，“sequence”：“additional”，“affiliation”：[{“name”：“Cedilla Systems Incorporationd，4616亨利Street，Bittsburg，Pennsillvania”{“给定”：“Kenneth”，“家族”：“Cline”，“序列”：“附加”，“从属关系”：[}]}“name:”：“Cedilla Systems Incorporated，4616 Henry Street，Pittsburgh，Pennsylvania”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2000,5]]}，“reference”：[{“key”：“e_1_3_2_1_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/325694.325727”}0\/psapm\/019\/0235771“}，{”键“：“e_1_3_2_1_3_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/138027.138060”}，{“key”：“e_ 1_3_2 _1_4_2”，”doi-assert-by“：”publisher“，”doi“：”10.1023\/A:101039502678“}，”volume-tite“：”Intel Architecture Software Developer's Manual“，“year”：“1997”，“key“：”e_1_ 3_2_1_5_2“，”unstructured“：“Intel.Intel Architecture Software Developer's Manual（英特尔体系结构软件开发人员手册）.Intel Corporation，1997.]]Intel.英特尔体系结构软开发人员手册.英特尔公司，1997.]]”}，{“volume-title”：“The JavaTM Virtual Machine Specification”，“year”：“1999”，“author”：“Lindholm Tim”，“key”：“e_1_3_2_1_7_2”，“unstructured”：“Tim Lindholm和Frank Yellin.Java虚拟机规范，第二版。Addison-Wesley，1999年。]]Tim Linkholm和弗兰克Yellin.The Java虚拟机规格，第二版本。Addison-Wesley（1999年）。]]”}，{“volume-title”：“系统软件编译器支持第二次研讨会”，“year”：“1999”，“author”：“Morrisett Greg”，“key”：“e_1_3_2_1_8_2”，“非结构化”:“Greg Morrisett、Karl Crary、Neal Glew、Dan Grossman、Richard Samuels、Frederick Smith、David Walker、Stephanie Weirich和Steve Zdancewic。TALx86:一种现实类型的汇编语言。在1999年5月于亚特兰大举行的关于系统软件编译器支持的第二次研讨会上。]]ls、Frederick Smith、David Walker、Stephanie Weirich和Steve Zdancewic。TALx86：一种逼真的类型汇编语言。在第二次系统软件编译器支持研讨会上，亚特兰大，1999年5月。]]“}，{”key“：”e_1_3_2_1_9_2“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/647228.719245“}”，{“key”：“e_1_ 3_2_1_10_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/319301.319345”}，”{“密钥”：“e_11_3_2 _11_2”，“”doi-sserted-by doi“：”10.1145\/238721.238781“}，{“键”：“e_1_3_2_1_12_2”，“系列标题”：“计算机科学讲义”，“卷标题”：“移动代理安全特刊”，“作者”：“Necula George”，“年份”：“1997”，“非结构化”：“George Necula and Peter Lee”。使用校对代码的安全、不受信任的代理。移动代理安全专题，计算机科学讲义第1419卷。Springer-Verlag，1997年10月。]]乔治·内库拉和彼得·李。使用校对代码的安全、不受信任的代理。移动代理安全专题，计算机科学讲义第1419卷。Springer-Verlag，1997年10月。]]“}，{”key“：”e_1_3_2_13_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/263699.263712“}”，{“key”：“e_1_ 3_2_1_15_2”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/277650.277752计算机科学逻辑年度研讨会（LICS’93）“作者：“乔治”，“年份”：“1998年”，“非结构化”：“乔治·C·内库拉和彼得·李。逻辑证明的有效表示和验证。1998年6月，印第安纳州印第安纳波利斯市，第13届计算机科学逻辑年度研讨会（LICS’93）论文集，第93-104页。IEEE计算机学会出版社乔治·C·内库拉和彼得·李。逻辑证明的有效表示和验证。1998年6月，印第安纳州印第安纳波利斯市，第13届计算机科学逻辑年度研讨会（LICS’93）论文集，第93-104页。IEEE计算机学会出版社“}，{”key“：”e_1_3_2_17_2“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/120477.120483“}”，{“volume-title”：“Proc.1997 ACM SIGPLAN Workshop on Types in Compilation（TIC'97）”，“year”：“1997”，“author”：“Shao Zhong”，“key”：“e_1_ 3_2_18_2”，“unstructured”：“”钟绍。FLINT\/ML编译器概述。程序中。1997年ACM SIGPLAN编译类型研讨会（TIC’97），荷兰阿姆斯特丹，1997年6月。]]钟绍。FLINT\/ML编译器概述。程序中。1997年ACM SIGPLAN编译类型研讨会（TIC'97），荷兰阿姆斯特丹，1997年6月。]]“}，{”key“：”e_1_3_2_19_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/231379.231414“}“，{“key”：“e_1_ 3_2_1_20_2”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/2689999.269003”}]，“event”：{“name”：“PLDI00:ACM SIGPLAN 2000编程语言和设计与实现会议”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”，“SIGSOFT ACM软件工程特别兴趣小组“]，“地点”：“加拿大不列颠哥伦比亚省温哥华”，“首字母缩写”：“PLDI00”}，“容器-标签”：[”ACM SIGPLAN 2000编程语言设计与实现会议记录“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/349299.349315“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,9,4]]，”date-time“2023-09-04T18:44:22Z“，”timestamp“：1693853062000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/349299.349315”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2000,5]]}，《references-count》：18，“alternative-id”：[“10.1145\/34929.349315”，“10.1145”\/349299“]，”URL“：”http://\/dx.doi.org\/10.1145\/34929.349315“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/358438.349315“，”asserted-by“：”object“}]}，”subject“：[]，”published“：”{“date-parts”：[[2000,5]]}“，”断言“：[[{“value”：“2000-05-01”，“order”：2，“name”：“published”，“label”：“published”，“group”：{“name”:“publication_history”，“table”：“publication history”}}]}}