{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,9,7]]，“日期-时间”：“2024-09-07T01:35:25Z”，“时间戳”：1725672925636}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：26，“发布商”：“ACM”，“内容-域”：[dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2005,10]]}，“DOI”：“10.1145\/1040294.1040295”，“type”：“procedings-article”，“created”：{“date-parts”：[2005,1,30]]，“date-time”：“2005-01-30T17:55:16Z”，“timestamp”：1107107716000}，”page“：“1-12”，“update-policy”：”http://\/dx.DOI.org\/10.1145\/cross mark-policy“，”source“：”Crossref“，”is-referenced-by-count“：17，”title“：[“基础验证器的开放验证器框架”]，“前缀”：“10.1145”，“作者”：[{“给定”：“Bor-Yuh-Evan”，“家族”：“Chang”，“sequence”：“first”，“affiliation”：[}“name”：“University of California，Berkeley”}]}，{“given”：“Adam”，“family”：“Chlipala”，“序列”：“additional”，“从属关系”：[[{”name“：“United of Califor，Berkely”}]{，{given“给定的”：“George C.”，“family”：“Necula”，“sequence”：“additional”，“affiliation”：[{“name”：“University of California，Berkeley”}]}，{“given”：“Robert R.”，“家庭”：“Schneck”，“序列”：“附加”，“从属关系”：[[{”name“：“United of Califor，Berkeey”}]]，“member”：“320”，“published on”：{“date-parts”：[[2005,10]]}_2_1_1英寸，“doi断言者”：“publisher”，“doi”：“10.1145\/325694.325727”}，｛“key”：“e_1_3_2_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/3381841.381847”}，｛“key”：“e_1_3_2_3_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/504709.504712”}，｛“key”：“e_1_3_2_1_4_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/10402941.1040303”}，｛“键”：“e_1_3_2_1_5_1”，“doi-asserted-by”：“publisher”，“doi”：“10.5555\/646659.700704”}，{“volume-title”：“加利福尼亚大学”，“年份”：“2004”，“作者”：“Chlipala Adam”，“密钥”：“e_1_3_2_1_6_1”}、{“密钥”:“e_1_3_2_1_7_1”、“doi-sserted-by“：”publisher“，”doi“：”10.1145\/358438.349315“}，}，“密钥“e_3_2_8_1”“，”非结构化“：“CoQ开发团队。CoQ证明助理参考手册7.3版。2002年5月。CoQ开发团队。CoQ证明助手参考手册7.3版。2002年5月。”}，{“key”：“e_1_3_2_1_9_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/640128.6014149”}，{“key”：“e_1_3_2_10_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/10040305.1040309”}，{“卷标题”：“Upper Saddle River”，“年份”：“2002”，“作者”：“Gough John”，“key”：“e_1_3_2_1_11_1”}，{“key”：“e_1_3_3_3 2_1_12_1“，”doi由“：”publisher“断言，”doi“：”10.1145\/360204.360228“}，{“key”：“e_1_3_2_13_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/1380027.138060”}，}“volume-title”：“第十七届高阶逻辑定理证明国际会议（TPHOLs2004）”，“year”：“2004”，“author”：“Nadeem”，y“：”publisher“，”doi“：”10.5555\/645683.664592“}，{“key”：“e_1_3_2_16_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/514952.514954”}，“volume-title”：“Java Series.Addison-Wesley”，“year”：“1997”，“author”：“Lindholm Tim”，“key“：”e_1_ 3_2_17_1，“年份”：“2000”，“author“：”Neophytos“，”key“：”e_1_3_2_18_1“}，”{“first page”：“25”，”volume-title“：”1999年ACM SIGPLAN系统软件编译器支持研讨会论文集“，”year“：“1999”，”author”：“Morrisett Greg”，“key”：格雷格·莫里西特·卡尔·克雷里·尼尔-格鲁-丹·格罗斯曼-理查德·萨缪尔斯-弗雷德里克·史密斯-大卫·沃克-斯蒂芬妮·魏里奇和史蒂夫·兹丹塞维奇。滑石2003年发布。网址：http://www.cs.connell.edu\/talc\/releases.html。格雷格·莫里西特·卡尔·克雷里·尼尔-格鲁-丹·格罗斯曼-理查德·萨缪尔斯-弗雷德里克·史密斯-大卫·沃克-斯蒂芬妮·魏里奇和史蒂夫·兹丹塞维奇。滑石2003年发布。网址：http://www.cs.connell.edu\/talc\/releases.html。“}，{”key“：”e_1_3_2_1_23_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/360204.360216”}，“首页”：“248”，“卷时间”：“第十八届IEEE计算机科学逻辑年会论文集”，“年份”：“2003”，“作者”：“George”，“key”：“e_1_ 3_2_1_2 4_1”}“，”key“：”e_1_3_2_1_25_1“}，{“key”：“e_1_ 3_2_1_2 6_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3-540-40018-9_16“}”，{《key》：“e_ 1_3_2 _1_27_1”、“doi-sserted-by“：”publisher“，”doi:“10.1145\/888251.888276”}，“key“:”“e_3_2_2_1_28_1”I“：”10.5555\/1765712.1765739“}]，“事件”：{“名称”：“TLDI05：2005年语言设计与实现类型国际研讨会”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”，“ACM计算机械协会”]，“地点”：“美国长滩加利福尼亚州”，“首字母缩写”：“TLDI05”}，“容器标题”：[”2005年ACM SIGPLAN语言设计与实现类型国际研讨会论文集“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/1040294.1040295“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,7]]，”date-time“：”2023-01-07T00:18:53Z“，”timestamp“：1673050733000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1040294.1040295”}}，“subtitle”：[]，“shorttitle”：[]，“issued 0295“，”10.1145\/1040294“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/1040294.1040295“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2005,10]]}，“断言”：[{“值”：“2005-01-10”，“顺序”：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“名称”：“publication_history”，“标签”：“发布历史”}}]}