%0 Journal Article
%T Self-Applicable Partial Evaluation for the Lambda Calculus of Objects<br>对象式Lambda演算的自作用部分计值
%A WANG Ming wen
%A SUN Yong qiang
%A <br>王明文
%A 孙永强
%J 软件学报
%D 2001
%I 
%X A self-applicable partial evaluator for the Lambda calculus of objects is presented in this paper which is an untyped Lambda calculus extended with object primitives. The classic three steps 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 in this paper.
%K partial evaluation
%K Lambda calculus of objects
%K binding time analysis<br>部分计值
%K 对象式Lambda演算
%K 约束时间分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=262BB98F84E5924D&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=5D311CA918CA9A03&sid=B8D8B337883846D1&eid=ADA74056AD01F4A8&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=14