{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,2,9]]，“日期-时间”：“2024-02-09T23:29:47Z”，“时间戳”：1707521387848}，“参考-计数”：0，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：{“日期-零件”：[2008,5]]，”日期-时间“：“2008-05-15T00:00:00Z”，“timestamp”：12108096000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[]”，“abstract”（摘要）：“分离逻辑是霍尔逻辑的最新扩展，用于推理引用共享可变数据结构的程序。在本文中，我们为具有更高类型的编程语言提供了一种新的逻辑解释。我们的解释基于Reynolds的关系参数，它在分离逻辑和数据抽象之间提供了形式上的联系<\/jats:p>“，”DOI“：”10.2168\/lmcs-4（2:6）2008“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,6,3]]，”date-time“：”2008-06-03T13:30:20Z“，”timestamp“：121249982000}，”source“：“Crossref”，”is-referenced-by-count“：10，”title“：[”Relational Parametricity and Separation Logic“]，”前缀“：”10.46298“，”卷“：”第4卷，第2期“，”作者“：[{”给定“：”拉尔斯“，”family”：“Birkedal”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Hongseok”，“family”：“Yang”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“25203”，“published online”：｛“date parts”：[[2008,5,15]]｝，“container title”：[“Logical Methods in Computer Science”]，“original title”：[]，“language”：“en”，“link”：[｛“URL”：“https:\/\/lmcs.episciences.org\/825\/pdf“，”content-type“：”application\/pdf”，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”https:\//lmcs.episcinces.org\+825\/ppdf“，”内容类型“：”unspecified“，”content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“日期段”：[2023,4,11]]，“日期时间”：“2023-04-11T19:57:03Z“，”timestamp“：1681243023000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/lmcs.episciences.org\/825”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2008,5,15]]]}，《references-count》：0，“URL”:“http://\/dx.doi.org\/10.2168\/lmcs-4（2:6）2008”，“关系”：{“is-same-as”：[{“id类型”：“arxiv”，“id”：“0805.0783”，“断言者”：“subject“}，{”id-type“：”doi“，”id“：”10.48550\/arXiv.0805.0783“，”asserted-by“：”subject“}]，”is-referenced-by“：[{”ids-type”：“doi”，“id”：“10.1145\/2491522.2491523”，“asserted-by”：“subject”}]}，”ISSN“：[”1860-5974“]，”ISSN-type“：[}”value“：”1860-5.974“，“type”：“electronic”}]，“主题”：[]，“发布”：{“日期部分”：[[2008,5,15]]}}