具有术语重写策略的类型通用遍历
摘要：策略术语重写的类型化模型的开发。关键创新在于涵盖了通用遍历。为此，我们定义了一个类型化的重写计算S'_gamma。该计算使用了扩展的多重类型系统，并添加了指定的通用策略类型 gamma。我们考虑了两种通用策略类型，即保持类型和统一类型的类型。S'_gamma提供了遍历组合子，用于从多重和通用策略构建遍历或其方案。遍历组合子模拟了不同形式的单步遍历，即它们在不预测任何递归方案的情况下处理给定术语的即时子术语。为了满足通用类型的需求，我们需要添加一个基本组合子将多重策略s提升到通用类型gamma。这一步骤称为策略扩展。相应组合子的语义表明，只有在手头术语的类型匹配时才应用s，否则扩展策略将失败。这种方法决定了策略应用的语义在一定程度上是与类型相关的。具有通用术语遍历覆盖的类型化策略术语重写是一种简单但表达力强的通用编程模型。它在程序转换和程序分析中具有应用。
作者：Ralf Laemmel
论文ID：cs/0205018
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-09-29