###
DOI:
Journal of Software:2000.11(1):91-94

多模式下的反合一算法
许锡春,胡运发,施伯乐
(复旦大学计算机科学系,上海,200433;上海海运学院计算中心,上海,200135)
Anti-Unification Algorithm Based on Multi-Pattern
XU Xi-chun,HU Yun-fa,SHI Bai-le
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2503   Download 2259
Received:September 25, 1998    Revised:February 01, 1999
> 中文摘要: 证明了多模式环境下存在最小反合一,提出了一种反合一算法,并介绍了多模式下反合一的应用.
Abstract:In this paper, the existence of the least anti-unification in multi-pattern is proved and an algorithm for the anti-unification is proposed. In addition, the application of the anti-unification in multi-pattern is also introduced.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

许锡春,胡运发,施伯乐.多模式下的反合一算法.软件学报,2000,11(1):91-94

XU Xi-chun,HU Yun-fa,SHI Bai-le.Anti-Unification Algorithm Based on Multi-Pattern.Journal of Software,2000,11(1):91-94