Higher-order transformations with nested concrete syntax
Higher-order transformations with nested concrete syntax
复制标题
具有嵌套具体语法的高阶转换
DOI：
10.1145/1988783.1988787
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Economopoulos R
中科院分区：
文献类型：
--
作者：
Economopoulos R
转换在基于语法的应用程序（如程序生成）中扮演着重要的角色。在这个领域中，使用具体语法技术特别有益，因为它大大简化了转换的开发和维护。通过使用高阶转换来生成程序转换，可以获得更多的好处。然而，由于合并不同的对象语言、元语言和元语言的困难，这两种技术不能轻易地结合在一起。在这里，我们提出了一种使用嵌套具体语法进行高阶转换的方法。我们使用Stratego作为元元语言，并允许在任意元语言中嵌入任意对象语言。我们描述了该方法的实现，并给出了其应用的两个例子，一个是在自身中嵌入Stratego以生成WebDSL程序转换，另一个是使用Stratego生成带有嵌入对象语法的prolog -子句。
Transformations play an important role in grammar-based applications such as program generation. In this domain, the use of the concrete syntax technology is particularly beneficial as it substantially simplifies the development and maintenance of the transformations. Further benefits could be achieved by the use of higher-order transformations to generate program transformations. However, both technologies cannot be combined easily because of the difficulties in merging the different object, meta, and meta-meta languages. Here we propose an approach to higher-order transformations with nested concrete syntax. We use Stratego as meta-meta language and allow the embedding of arbitrary object languages into arbitrary meta languages. We describe the implementation of the approach and give two examples for its application, the embedding of Stratego in itself to generate WebDSL program transformations, and the use of Stratego to generate Prolog-clauses with embedded object syntax.
登录
查看更多内容
使用具体对象语法进行元编程
DOI：
--
发表时间：
2002
期刊：
International Conference on Generative Programming: Concepts and Experiences
影响因子：
--
作者：
E. Visser
通讯作者：
E. Visser
对象的具体语法：无限制的特定领域语言嵌入和同化
DOI：
--
发表时间：
2004
期刊：
Conference on Object-Oriented Programming Systems, Languages, and Applications
影响因子：
--
作者：
Martin Bravenboer;E. Visser
通讯作者：
E. Visser
模块化语言设计的属性语法中的转发
DOI：
--
发表时间：
2002
期刊：
International Conference on Compiler Construction
影响因子：
--
作者：
E. V. Wyk;O. Moor;Kevin Backhouse;P. Kwiatkowski
通讯作者：
P. Kwiatkowski
DOI：
--
发表时间：
2008
期刊：
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
影响因子：
--
作者：
Martin Bravenboer;E. Visser
通讯作者：
E. Visser
WebDSL 的声明式访问控制
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
D. Groenewegen
通讯作者：
D. Groenewegen