对象式Lambda演算的自作用部分计值

• 作者: 孙永强 王明文
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 部分计值 对象式Lambda演算 约束时间分析
• 年，卷（期）: 2001,（8）
• 页码范围: 1154-1161
• 页数: 8页
• 分类号: TP301
• 字数: 4569字
• 语种: 中文

摘要

讨论了一个对象式Lambda演算的部分计值器.对象式Lambda演算在Lambda演算的基础上添加了对象机制.部分计值器的构造是采用传统的三步法,首先定义对象式Lambda演算的元解释器;然后提出对象式Lambda演算的约束时间分析方法(binding-time analysis),约束时间分析决定哪些计算可以在编译时完成,哪些计算需留在运行时执行;最后定义部分计值器,同时,给出了元解释器和部分计值器的正确性证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙永强	上海交通大学计算机科学与工程系	72	373	10.0	15.0
2	王明文	上海交通大学计算机科学与工程系	3	11	2.0	3.0