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

Self-Applicable Partial Evaluation for the Lambda Calculus of Objects

作　　者：王明文[1] 孙永强[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《软件学报》2001年第8期1154-1161,共8页Journal of Software

基　　金：国家 8 6 3高科技发展规划资助项目 (86 3- 30 6 - 0 5 - 0 4- 3)&&

摘　　要：讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传统的三步法 ,首先定义对象式 L ambda演算的元解释器 ;然后提出对象式Lambda演算的约束时间分析方法 (binding- time analysis) ,约束时间分析决定哪些计算可以在编译时完成 ,哪些计算需留在运行时执行 ;最后定义部分计值器 .同时 。A self-applicable partial evaluator for the Lambda calculus of objects is presented, which is an untyped Lambda calculus extended with object primitives. The classic three-step methodology is used to construct the partial evaluator. First, a meta-interpreter is defined for the language. Second, an abstract analysis (binding-time analysis) is introduced to determine which operations can be executed at compile-time and which operations will be executed at run-time. Finally, the self-applicable partial evaluator is exhibited. Proofs of the correctness of the meta-interpreter and self-applicable partial evaluator are also given.

关 键 词：程序转换 部分计值 对象式Lambda演算 面向对象 程序设计语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]