Indexed by：
Abstract：
本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论，提出了一种正确、有效的别名处理方法以及基于“扩展表”的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机研究与发展
Year： 1996
Issue： 02
Page： 81-92
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 9
Affiliated Colleges：
