文章基本信息

标题：A Variant of Higher-Order Anti-Unification
本地全文：下载
作者：Alexander Baumgartner ; Temur Kutsia ; Jordi Levy 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2013
卷号：21
页码：113-127
DOI：10.4230/LIPIcs.RTA.2013.113
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We present a rule-based Huet's style anti-unification algorithm for simply-typed lambda-terms in eta-long beta-normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo alpha-equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available.
关键词：higher-order anti-unification; higher-order patterns