{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,9,4]]，“日期-时间”：“2023-09-04T23:10:46Z”，“时间戳”：1693869046896}，“参考-计数”：0，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：{-“日期-零件”：[2006,11,3]]，“时间”：2006-11-03T00:00:00Z“，“timestamp”：116251200000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”我们展示了如何为具有更高类型的语言的分离逻辑版本中明确指定的程序提供一致的语义：用堆（但使用不可变的堆栈变量）进行理想化扩展。特别是，我们提供了简单的声音规则来推导更高阶的框架规则，允许进行局部推理<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（5:1）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:29:35Z“，”timestamp“：1164274175000}，”source“：，“卷”：“第2卷第5期“，“作者”：[{“给定”：“拉尔斯”，“家族”：“比克代尔”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“诺亚”，“家庭”：“托尔普·史密斯”，“顺序”：“附加”，“附属关系”：[]}：[[2006,11,3]]}，“集装箱标签”：[“计算机科学中的逻辑方法”]，“原标题”：[]，“语言”：“en”，“链接”：[｛“URL”：“https://lmcs.episciences.org/2232\/pdf”，“内容类型”：“应用程序”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“https://lmcs.episciences.org/2232\/pdf”，“内容类型”：“未指定”，“内容版本”：“vor”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,4,11]]，”date-time“：”2023-04-11T20:10:14Z“，”timestamp“：1681243814000}，”score“：1，”resource“：”primary“：”{“URL”：“https:\\/lmcs.eposciences.org\/2232”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2006,11,3]]}，“references-count”：0，“URL”：“http:\/\/dx.doi.org\/10.2168\/lmcs-2（5:1）2006“，”关系“：{”is-same-as“：[{”id-type“：”arxiv“，”id“：”cs\/0610081“，”asserted-by“：”subject“}，{”ids-type”：“doi”，“id”：“10.48550\/arxiv.cs\/0610082”，“asserted-by”：“subject”}，“is-referenced-by”：[{”id-type“：”doi“，”id“：”10.1007\/978-3642-11957-6_2“，”asserted-by“：”subject“}]}，”ISSN“：[”1860-5974“]，”ISSN-type“：[{”value“：“1860-5974”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2006,11,3]]}}