arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1301.4334cs.PL
收藏

通过演示导出程序转换

Deriving program transformations by demonstration

Matthew J. Sottile, Geoffrey C. Hulette

摘要:

针对特定应用程序和上下文调整转换的自动代码转换很难以可访问的方式实现。在本文中,我们提出了一种方法来建立特定于应用程序的代码转换。我们的方法是基于分析的抽象语法表示的范例的本质变化的代码之前和之后的转换被应用。这个分析需要一系列的步骤来识别变化,确定如何推广它,并将其映射到Tumego术语重写系统的术语重写规则。本文中描述的方法假设程序表示在一个语言中立的术语格式,允许工具的基础上,我们的方法被应用到程序编写的主要语言使用的计算科学家利用高性能计算系统。

英文摘要:

Automatic code transformation in which transformations are tuned for specific applications and contexts are difficult to achieve in an accessible manner. In this paper, we present an approach to build application specific code transformations. Our approach is based on analysis of the abstract syntax representation of exemplars of the essential change to the code before and after the transformation is applied. This analysis entails a sequence of steps to identify the change, determine how to generalize it, and map it to term rewriting rules for the Stratego term rewriting system. The methods described in this paper assume programs are represented in a language-neutral term format, allowing tools based on our methods to be applied to programs written in the major languages used by computational scientists utilizing high performance computing systems.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑