Higher Order Matching for Program Transformation

Higher Order Matching for Program Transformation
复制标题

用于程序转换的高阶匹配

DOI：
--
复制
发表时间：
1999
期刊：
Fuji International Symposium on Functional and Logic Programming
影响因子：
--
通讯作者：
Ganesh Sittampalam
Ganesh Sittampalam
中科院分区：
--
文献类型：
--
作者：
O. Moor;Ganesh Sittampalam

文献摘要

被引文献

相似文献

在自动程序转换的背景下，我们提出了一种简单，实用的算法，用于高阶匹配。我们的算法比Huet and Lang的标准二阶匹配算法找到的匹配度更多，但它具有同样简单的规范，并且更适合于Haskell或ML等现代编程语言中程序的转换。该算法已作为用于转换功能程序的MAG系统的一部分实现。
We present a simple, practical algorithm for higher order matching in the context of automatic program transformation. Our algorithm finds more matches than the standard second order matching algorithm of Huet and Lang, but it has an equally simple specification, and it is better suited to the transformation of programs in modern programming languages such as Haskell or ML. The algorithm has been implemented as part of the MAG system for transforming functional programs.