Evaluation Strategy and Translation of Environment Calculus
Evaluation Strategy and Translation of Environment Calculus
复制标题
环境微积分的评价策略与翻译
DOI：
10.1007/978-3-642-53932-9_23
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
S. Nishizaki
中科院分区：
文献类型：
--
作者：
S. Nishizaki
环境是程序设计语言处理器的执行状态之一。第一类环境是一种反射编程工具，它使我们能够将元级环境用作对象级实体，反之亦然，将对象级环境用作元级实体。我们将一个具有一流环境的Lambda演算命名为环境演算，并研究了环境演算的各种系统。PCF(Programming Computable Functions，可计算函数编程)是一种简单类型的Lambda演算，具有自然数、布尔值和递归运算符，是一种用于评估策略语义研究的形式化框架。
The environment is one of the execution states in programming language processors. The first-class environment is a reflective programming facility which enables us to use meta-level environments as object-level entities, and inversely, to use the object-level environments as meta-level entities. We named a lambda calculus with first-class environments the environment calculus, and studied various systems of the environment calculus. PCF (Programming Computable Functions) is a simply typed lambda calculus with natural numbers, Boolean values, and recursive operators, which was proposed as a formal framework for the semantical study of evaluation strategies.In this paper, we introduce an extended system of PCF with first-class environments and study evaluation strategies, such as call-by-name and call-by-value strategies.