目标语高阶框架中的策略构建

理论计算机科学

PDF格式 | 667KB | 更新于2025-01-16 | 144 浏览量 | 举报

理论计算机科学电子笔记124（2005）149-170

www.elsevier.com/locate/entcs

目标语高阶框架中的策略构建

Victor L.冬季

，

美国

内布拉斯加

大学奥马哈分校计

算机科学系

摘要

当从策略的角度来看时，重写系统中的标记规则库可以被看作是策略表达的受限形式（例如，使用

左偏选择组合子严格组成的规则集合）。本文描述了高阶机制能够动态地构建类似于规则库的策略表

达式。这些策略表达式和规则库之间的一个显著区别是策略表达式可以使用任意二进制组合子（例

如，左偏选择、右偏选择、顺序组合或用户定义）。此外，这些策略表达式中使用的数据可以通过术

语遍历获得。

描述了一个称为

的高阶战略规划框架。在译入语中，我们可以动态地构建上一段中提到的那种策略

表达。下面的演示展示了如何使用

中可用的高阶结构来解决程序转换领域中常见的几个问题。

关键词：

程序转换，重写，策略编程，高阶重写，瞬态组合子，TL

介绍

在术语结构中分布数据的概念是基于重写的计算的核心

[11]

。在

[14]

中，这个问

题被描述并提到

这项工作得到了美国能源部的部分支持，

合同

DE-AC 04 - 94 AL 85000

。桑迪亚实验室（

Sandia

）是一个多项目实验室，由洛克

希德

马丁公司下属的桑迪亚公司为美国能源部运营。

Victor Winter

也得到了

NSF

资助号

CCR-0209187

的部分支持

电子邮件地址：

vwinter@mail.unomaha.edu

在

CC BY-NC-ND

许可下开放访问。

doi：10.1016/j.entcs.2004.07.020

150

V.L. Winter/Electronic Notes in Theoretical Computer Science 124

（

2005

）

149

分布式数据问题

（DDP）当要分发的数据独立于输入时（即，对于所有输入项

恒定），用于分布数据的简单策略通常可以静态地构造。例如，考虑构建一个

策略，将项中的每个整数重写为整数2。这里的目标是通过重写遇到的每个整

数来将整数2分布在整个期限结构中。这是一个数据分布的例子，涉及独立于

任何特定输入项的数据。

相反，考虑构建一个策略，重写一个项中的每个整数，使所有整数都等于

该项中的第一个整数。例如，对于给定的项t，如果t中的第一个整数是

，

那么t中的所有整数都应该重写为

。这是一个数据分布的例子，涉及依赖于

输入项的数据。在程序转换领域，整个术语中相关数据的分布通常比数据的独

立分布更常见。例如，变量重命名、函数内联和常量传播都需要通过术语结构

分布相关数据。

战略/重写系统通常提供扩展，以增强其描述数据分布的能力。参数化是一

种广泛用作数据分发机制的扩展。例如，

ASF+SDF [1]

已经扩展了一个固定的

可参数化遍历函数集合

[4]

。另一个扩展是允许使用问题相关数据动态构建例

如，在

Replego [10]

中，提供了一种机制，可以通过动态构造和销毁规则来在

运行时

在本文中，我们将研究战略规划的高阶扩展。具体来说，我们将描述如何

使用称为

的策略编程语言的高阶规则、策略和遍历来有效地在整个期限结

构中分布（依赖）数据。虽然TL目前是一个理论框架，但TL的一个受限方言

已在

HATS

系统中实现

[6]

，并且可以免费使用。所有

本文提出的例子已经在

HATS

中实现。

本文的其余部分组织如下。第2节概述了TL。第3节深入研究了TL中集合并

的战略实现的内部工作原理。第4节介绍了程序转换领域中常见的两种操作。

第

节讨论了一些相关的工作，第

节结束。

除了语法上的差异之外，主要的限制是HATS不支持用户定义策略

剩余21页未读，继续阅读

cpongm

粉丝: 6

目标语高阶框架中的策略构建

高阶思维指向下微观金融课程群深度学习促进策略研究.pdf

基于“深度学习”的高阶思维建构的策略研究.pdf

CRM系统设计：高阶模型与基础构建解析

Java高阶面试精华：并发、锁与Spring框架深度解析

高效高阶综合中计划等价检查方法

高阶矩动态组合投资：多目标优化与效用理论应用

四阶动力学与随机优化：提升固定翼UAV目标跟踪实用性的新策略

【科学计算高效框架】：构建数值解算的顶级策略

系统工程中的递阶结构模型：7个构建与优化策略

泛型算法：集合框架中的高级排序和搜索策略

最新资源