Binding time analysis: a new PERspective
Binding time analysis: a new PERspective
复制标题
结合时间分析：新的视角
DOI：
--
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
David Sands
中科院分区：
文献类型：
--
作者：
Sebastian Hunt;David Sands
给定在部分求值时已知的程序中的参数的描述，绑定时间分析必须确定程序的哪些部分仅依赖于这些已知部分（并且因此在部分求值时也是已知的）。本文给出了简单类型lambda演算的绑定时间分析。分析采取的形式，一个抽象的解释，并使用一种新的形式化的问题的约束力的时间分析，使用部分等价关系的基础上。正确性的简单证明是通过使用逻辑关系来实现的。
Given a description of the parameters in a program that will be known at partial evaluation time, a binding time analysis must determine which parts of the program are dependent solely on these known parts (ancl therefore also known at partial evaluation time). In this paper a binding time analysis for the simply typed lambda calculus is presented. The analysis takes the form of an abstract interpretation and uses a novel formalisation of the problem of binding time analysis, based on the use of partial equivalence relations. A simple proof of correctness is achieved by the use of logical relations.