文章基本信息

标题：Anti-Unification for Unranked Terms and Hedges
本地全文：下载
作者：Temur Kutsia ; Jordi Levy ; Mateu Villaret 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2011
卷号：10
页码：219-234
DOI：10.4230/LIPIcs.RTA.2011.219
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We study anti-unification for unranked terms and hedges that may contain term and hedge variables. The anti-unification problem of two hedges ~s_1 and ~s_2 is concerned with finding their generalization, a hedge ~q such that both ~s_1 and ~s_2 are instances of ~q under some substitutions. Hedge variables help to fill in gaps in generalizations, while term variables abstract single (sub)terms with different top function symbols. First, we design a complete and minimal algorithm to compute least general generalizations. Then, we improve the efficiency of the algorithm by restricting possible alternatives permitted in the generalizations. The restrictions are imposed with the help of a rigidity function that is a parameter in the improved algorithm and selects certain common subsequences from the hedges to be generalized. Finally, we indicate a possible application of the algorithm in software engineering.
关键词：Anti-unification; generalization; unranked terms; hedges; software clones.