{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,1,2]，“日期时间”：“2023-01-02T10:54:03Z”，“时间戳”：1672656843517}，“引用-计数”：25，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记-限制”：false}，”短容器时间“：[]”，“发布-打印”：{“日期部分”：[[1977,9]]}，“DOI”：“10.1109\/sfcs.1977.25”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2008,7,31]]，“date-time”：“2008-07-31T15:45:51Z”，“timestamp”：1217519151000}，“source”：”Crossref“，“is-referenced-by-count”：13，“title”：[“Program invarants as fixed points”]，“prefix”：”10.1109“author”：[{“给定”：“Edmund Melson”，“family”：“Clarke”“，”sequence“：”first“，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：“crossref”，“first-page”：“19”，“doi”：“10.1090\/psapm\/019\/0235771”，“article-title”：“Assigning Measures to Programs”，“volume”：《19》，“author”：“floyd”，《year》：“1976”，“journal title”：《Proc Symp Appl Math Aspects of Computer Science》}，{“key”：“ref11”，“author”：“fokkinga”，“year”：“1973”，“journal-title”：“递归过程的归纳断言模式”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/0205030”}，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/363235.363259”}，{“key”：“ref15”，“doo-asserted-by”：”publisher“，”doi“：”10.1007\/BFb0059696“}，”key“：”ref16“，”doi-assert-by“：”publister“，”doi“：：“计算机科学技术报告部”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/321592.321606”}，{“key”：“ref19”，“author”：“mcgowan”，“year”：“1973”，“journal-title”：“Dijkstra-Hoare语义的数学基础”}：“1975”，“新闻标题”：“算法片段的公理和解释语义”}，{“key”：“ref6”，“author”：“debakker”，“year”：“1975”，“journal-title”：“定点语义和Dijkstra的基本不变性定理”}：“publisher”，“DOI”：“10.1016\/1385-7258（74）90008-0”}，{“key”：“ref7”，“DOI-asserted-by”：“publicher”，“DI:”10.1109\/SFCS.1975.15“}”，{键“：”ref2“，”DOI-assert-by“：”publisher“，”DOI“：”10.1145\/512950.512952“}，“key“：”ref9“，”author“：”donahue“，”year“：”1974“，”journal-title“：“数学语义作为公理化编程语言构造的补充定义”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/512950.512951”}，{“键”：“ref21”，“首页”：“169”，“article-title”：“计算数学理论大纲”，“author”：“scott”，“year”：“1970”，“journal-title“：“第四届普林斯顿信息科学与系统年会”}，{“key”：“ref24”，“article-title”：“Hoare系统的新不完全性结果”，“作者”：“wand”，“年份”：“1976”，“journal-ttitle”：“第八届计算机理论年会”}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/512950.512963”}用法：[[1977,10,31]]}，“end”：{“date-parts”：[[1777,11,2]]}}，”container-title“：[“第十八届计算机科学基础年会（sfcs 1977）”]，”original-title”：[]，“link”：[{“URL”：“http://\explorestaging.ieee.org\/ielx5\/4567914\/45617915\/04567922.pdf？arnumber=4567922”，“content-type”：“unspecified”，“content-version”：“vor”、“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,6,18]]，“日期时间”：“2017-06-18T10:32:01Z”，“时间戳”：1497781921000}，“分数”：1，“资源”：{primary“：{”URL“：”http:\/\/ieeexplore.ieee.org\/document\/4567922\/“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1977,9]]}，“references-count”：25，“URL”：“http://\/dx.doi.org\/10.109\/sfcs.1977.25”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[1977,9]]}}