| 一个寻找最一般一致替换的树型算法 |
| |
| 引用本文： | 董改芳. 一个寻找最一般一致替换的树型算法[J]. 贵州大学学报(自然科学版), 2004, 21(1): 15-21 |
| |
| 作者姓名： | 董改芳 |
| |
| 作者单位： | 贵州大学,计算机科学系,贵州,贵阳,550025 |
| |
| 基金项目： | 贵州省教育厅科研基金资助 |
| |
| 摘 要： | 基于表达式的树形表示，我们提出了一种关于寻找一个有限表达式集的最一般一致替换(mgu)的树形算法。与原算法相比，算法比较直观而且有效。此算法可以应用于逻辑程序分析。
|
| 关 键 词： | 一致替换算法 最一般的一致替换 程序分析 |
A Tree Algorithm for Finding Most General Unification |
| |
| Abstract. A Tree Algorithm for Finding Most General Unification[J]. Journal of Guizhou University(Natural Science), 2004, 21(1): 15-21 |
| |
| Authors: | Abstract |
| |
| Abstract: | Based on tree representations of expressions, we present a tree algorithm for finding a most general unification(mgu)of a finite set of expressions S .The algorithm is more intuitional and effective than the original algorithm.It can be applied to analysis of Prolog programs. |
| |
| Keywords: | unification algorithm most general unifier program analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
