分享到:

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

部分计值是一种程序转换技术 .在给定部分参数输入的情况下 ,对程序进行转换约简 ,完成尽可能多的运算而产生剩余程序 (residual program) .当剩余程序作用在余下的参数上时 ,应产生与原程序作用在全部参数上时一样的结果 .部分计值在研究初期是被作为优化工具在编译阶段对可完成部分展开 ,以产生优化代码 .在 2 0世纪 70年代 ,日本的 Futamura[1]以及前苏联的 Turchin[2 ]和 Ershov[3]分别独立指出 :部分计值器可以生成语言的编译器 .我们知道解释器远比编译器更易于实现 ,编译器的实现者要考虑两个约束时间 (编译时的程序输入和运行时的参数输入 ) ,而解释器只需考虑一个 (运行时的程序输入和参数输入 ) .因此 ,通过部分计值器 ,我们只要给出用语义方法描述的语言的解释器 ,就能高效地、自动地得到语言的编译器 .自 2 0世纪 80年代中期以来 ,部分计值技术的研究在国外得到较广泛的展...  (本文共8页) 阅读全文>>

《计算机工程》2003年12期
计算机工程

基于部分计值的信息个人化智能Agent系统

Internet已成为人们信息发布和交流的重要媒体,遗憾的是,尽管Internet提供了数以亿计的海量信息,而用户往往因不能精确有效地找到所需的资料而发愁。因此,一个严峻的问题是:如何组织和设计网站才能使用户更快捷地获取自己需求的信息,并且面对不同的用户如何提供符合其兴趣的个人化服务。然而,现有的个人化系统对用户的要求进行了很多假设和限制,把用户会做出的选择固定在一个相对小的范围内。否则的话,系统将很难准确处理用户的需求。无疑,单纯用基于内容的关键词匹配方法在对用户需求信息的个人化上捉襟见肘。而对于用户不完整或无序的输入,需要有一个相应的技术来完成所谓的信息个人化。当然,个人化服务的形式也是多种多样的,包括各种信息的获取与传送,但本文中主要讨论的是一种Web上的基于部分计值的信息个人化服务。1 部分计值部分计值(Partial Evaluation,PE)是一种能够对程序进行例化(Program Specialization)的...  (本文共3页) 阅读全文>>

《计算机科学》2004年04期
计算机科学

部分计值综述

1引言 部分计值,又称程序例化(特化),是一种源程序到源程序的代码转换技术:在给定部分输入参数的情况下,对程序进行转换约简,完成程序中只依赖于给定参数的计算而产生剩余程序,当剩余程序作用在其余的参数时,产生与原来程序作用在全部参数一样的结果。作为代码转换研究领域的一个分支,它能够从程序运行环境和程序自身所包含的己知条件,自动对程序进行例化,生成效率更高的程序代码。 1.1一个示例 考虑如图z计算x的n次幂的Java方法pow(intn,10眼x)。给定值n~5,x~2,该方法计算Pow(5,2),得到结果2,-32。publie long pow(一ntn,longx){ long resuir resuir=1; while(n)0){ :f(n肠2==0){x一x*x;n一n/2;} else{result=result,x;n一n一1;} } return result;}的,把n叫做静态的;因为x的取值是未知的而把x叫做...  (本文共3页) 阅读全文>>