Meta-programming with Concrete Object Syntax
Meta-programming with Concrete Object Syntax
复制标题
使用具体对象语法进行元编程
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
E. Visser
中科院分区：
文献类型：
--
作者：
E. Visser
元程序操作结构化的表示，即程序的抽象语法树。元程序员用来推理程序的具体语法与通用（元）编程语言提供的抽象语法操作表示法之间的概念距离对于许多应用程序来说太大了。本文展示了如何使用语法定义形式主义SDF来适应任何具有具体语法符号的元程序设计语言，以组成和分析对象程序。作为一个实例，介绍了在程序转换语言Stratego中添加具体语法的过程。然后将该方法推广到任意元语言。
Meta programs manipulate structured representations, i.e., abstract syntax trees, of programs. The conceptual distance between the concrete syntax meta-programmers use to reason about programs and the notation for abstract syntax manipulation provided by general purpose (meta-) programming languages is too great for many applications. In this paper it is shown how the syntax definition formalism SDF can be employed to fit any meta-programming language with concrete syntax notation for composing and analyzing object programs. As a case study, the addition of concrete syntax to the program transformation language Stratego is presented. The approach is then generalized to arbitrary meta-languages.