关于高阶过程的“最新上下文”推理-Archive ouverte HAL
未经修订的条款 理论计算机科学 Anneée:2020年

关于高阶过程的“上下文”推理

Résumé

证明高阶语言中的行为等价性是一项困难的任务，因为交互涉及复杂的值，即语言术语。在这些语言的共创性（即类似于互模拟）技术中，一个有用的增强是“向上上下文”推理，从而将相关术语中的常见上下文片段分解并删除。然而，在高阶过程语言中，这种技术很少，因为它们的可靠性通常很微妙，很难建立。在本文中，我们将隐式捕获“上下文”推理的方程唯一解技术应用于高阶π演算的设置。方程是根据正常的双相似性编写和求解的，选择双相似性是因为它的效率——它的子句不需要对外部观察者提供的术语进行通用量化——也是因为它对“上下文”推理提出了挑战，并且在证明它的同余属性时已经出现了这种挑战。

与葡萄园

编程语言 信息逻辑[cs.LO]
菲奇尔校长
小品小品
霍皮-HAL.pdf（472.64 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

阿德里安·杜里埃 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-01857391

Soumis le:mercredi 2015年11月15日2018-19:12:36

Dernière修改le:mardi 3 september 2024-13:56:20

长期存档：vendredi 2018-13:00:30

Télé充电器倒可视化

日期和版本

hal-01857391， 版本1 (15-08-2018)

身份证明人

Citer公司

Adrien Durier、Daniel Hirschkoff、Davide Sangiorgi。关于高阶过程的“上下文”推理。理论计算机科学2020年，第807页，第154-168页。⟨10.1016/j.tcs.2019.09.036⟩.⟨hal-01857391⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

ENS-LYON系列 中国科学院 印度 尤尼夫·里昂1 INRIA2公司 UNIV-COTEDAZUR大学 密里恩标签 UDL公司 澳大利亚国家铁路公司
164 磋商
161 交易费用

海拔高度

合作伙伴

更多