横山，铁雄；胡镇江；Masato Takeichi 程序转换的确定性高阶模式。 （英语） Zbl 1099.68591号 莫里斯（Maurice），Bruynooghe（ed.），基于逻辑的程序合成和转换。2003年8月25日至27日在瑞典乌普萨拉举行的2003年LOPSTR第13届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-22174-3/pbk）。计算机科学讲义3018128-142（2004）。 概要：高阶模式和高阶匹配使程序转换能够得到简明的规范，并已在多个程序转换系统中实现。然而，高阶匹配通常是不确定的，而且匹配算法非常昂贵，甚至二阶匹配也是NP完全的。传统的做法是对模式的形式施加约束，以获得满足某些属性（如可判定性和有限性）的理想匹配。在统一的背景下，米勒的高阶模式有一个最通用的统一器。我们在匹配而非统一的背景下放松了他的模式中的限制，而没有改变决定论。因此，新的模式类涵盖了广泛的用于程序转换的有用模式类。匹配算法的时间复杂度与固定模式的项大小成线性关系。有关整个系列，请参见[Zbl 1051.68003号]. 引用于三文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲18 函数编程和lambda演算 关键词：高阶模式匹配；功能性编程；程序派生；程序转换；融合变换 软件：西洋陆军棋 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokoyama}等人，Lect。票据计算。科学。3018128--142（2004年；Zbl 1099.68591） 全文： 内政部