| 多模式下的反合一算法 |
| |
| 引用本文： | 许锡春,胡运发,施伯乐.多模式下的反合一算法[J].软件学报,2000,11(1):91-94. |
| |
| 作者姓名： | 许锡春 胡运发 施伯乐 |
| |
| 作者单位： | 1. 复旦大学计算机科学系,上海,200433;上海海运学院计算中心,上海,200135
2. 复旦大学计算机科学系,上海,200433 |
| |
| 摘 要： | 证明了多模式环境下存在最小反合一,提出了一种反合一算法,并介绍了多模式下反合一的应用.
|
| 关 键 词： | 合一 反合一 多模式 算法 相似. |
| 收稿时间： | 1998/9/25 0:00:00 |
| 修稿时间： | 2/1/1999 12:00:00 AM |
Anti-Unification Algorithm Based on Multi-Pattern |
| |
| XU Xi-chun,HU Yun-fa and SHI Bai-le.Anti-Unification Algorithm Based on Multi-Pattern[J].Journal of Software,2000,11(1):91-94. |
| |
| Authors: | XU Xi-chun HU Yun-fa and SHI Bai-le |
| |
| 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. |
| |
| Keywords: | Unification anti-unification multi-pattern algorithm similarity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
