一个基于抽象解释的部分演绎过程

本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．

逻辑程序部分演绎系统的研制

介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。

PROLOG程序部分演绎的一种新方法

提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P_0,Q_0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P_0,Q_0)计算等价,并且程序P_n解目标Q_n比程序P_0.解目标Q_0效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.

约束逻辑程序部分演绎过程的研究

约束逻辑程序（ＣＬＰ）的部分演绎是一个新兴的研究领域．本文提出一个新的基于程序变换的ＣＬＰ部分演绎的过程．该过程以程序一目标对（ＰＯ，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序一目标对（Ｐｎ，Ｑｎ）．该过程保证结果程序－目标对（Ｐｎ，Ｑｎ）和输入程序－目标对（ＰＯ，Ｑ０）计算等价，并且程序Ｐｎ解目标Ｑｎ比程序Ｐ０解目标Ｑ０效率更高．本文提出的方法已经实现，文中给出了一个ＣＬＰ（ＢＯＯＬ）程序部分演绎的运行实例．

CLP（R）程序部分演绎的研究

本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。

Expression of the New World

在最近的艺术展览“美丽新世界”中，世界的表情被精确的划分了。来自日本的艺术家们分三个部分演绎了现实世界、媒体世界和未来世界。