On the Value of Variables

Beniamino Accattoli; Claudio Sacerdoti Coen

doi:10.1016/j.ic.2017.01.003

第三条Dans Une Revue 信息与计算 Anneée:2017年

关于变量的值

(1, 2),（3）

1
2
三

贝尼亚米·阿卡托利

功能：奥特尔
人员ID:2531
伊达尔：贝尼亚米诺·阿卡托利
ORCID代码：0000-0003-4944-9944
ID参考号：253118468

使用逻辑规范进行证明搜索和推理

Inria Saclay-法兰西岛

克劳迪奥·萨塞尔多蒂·科恩

功能：奥特尔
人员ID:879532

计算机科学与工程系[博洛尼亚]

Résumé

Call-by-value和Call-by-reed$λ$-calculi是使用不同的值语法类别定义的。在理论研究中，价值是变量和抽象。在更实际的工作中，值通常被简单地定义为抽象。本文表明，在实现的通常假设成立的情况下，实用值会导致对按值调用和按需调用进行更有效的替换过程（术语是封闭的，约简不进行抽象，替换是以微步骤进行的，每次替换一个变量）。也就是说，替换步骤的数量在$β$-重新定义的数量中是线性的，而理论值只提供了一个二次界。我们通过显示相同的二次/线性边界也适用于按名称调用的理论/实践版本来完成这幅图。

与葡萄园

信息逻辑[cs.LO]

菲奇尔校长

main.pdf（179.63千吨）

起源：作家的作品

贝尼亚米·阿卡托利 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-01675373

Soumis le:jeudi 4 janvier 2018-16:09:40

Dernière修改le:jeudi 14 décembre 2023-13:56:06

长期存档：mercredi 2 mai 2018-21:19:09

日期和版本

hal-01675373，版本1 (04-01-2018)

身份证明人

HAL Id： hal-01675373，版本1
内政部： 10.1016/j.ic.2017.01.003

Citer公司

贝尼亚米尼·阿卡托利，克劳迪奥·萨克多蒂·科恩。关于变量的值。信息与计算2017年第255期，第224-242页。⟨10.1016/j.ic.2017.01.003⟩.⟨hal-01675373⟩

出口商

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

X（X）中国科学院印度 LIX公司 X-LIX公司 X-DEP-INFO公司 INRIA2公司 UNIV-PARIS-SACLAY大学 GS-计算机科学

143 磋商

152 交易费用