Indexed by：
Abstract：
约束逻辑程序(CLP)的部分演绎是一个新兴的研究领域.本文提出一个新的基于程序变换的CLP部分演绎的过程.该过程以程序-目标对(P0,Q0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(Pn,Qn).该过程保证结果程序-目标对(Pn,Qn)和输入程序-目标对(P0,Q0)计算等价,并且程序Pn解目标Qn比程序P0解目标Q0效率更高.本文提出的方法已经实现,文中给出了一个CLP(BOOL)程序部分演绎的运行实例.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机学报
ISSN： 0254-4164
Year： 1997
Issue： 3
Volume： 20
Page： 238-244
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 1
Chinese Cited Count：
30 Days PV： 7
Affiliated Colleges：
