Macro-by-example: Deriving syntactic transformations from their specifications
Macro-by-example: Deriving syntactic transformations from their specifications
复制标题
宏观举例：从规范中导出句法转换
DOI：
10.1145/41625.41632
复制
发表时间：
1987
影响因子：
1.1
通讯作者：
M. Wand
中科院分区：
文献类型：
--
作者：
E. Kohlbecker;M. Wand
本文提出了两个新的发展，它描述了一种用于LISP和相关语言的句法抽象的“逐个示例”语言。其次，它为语言提供了正式的语义，并从该语义中推导了编译器。语义指导的编译器开发方法。
This paper presents two new developments. First, it describes a “macro-by-example” specification language for syntactic abstractions in Lisp and related languages. This specification language allows a more declarative specification of macros than conventional macro facilities do by giving a better treatment of iteration and mapping constructs. Second, it gives a formal semantics for the language and a derivation of a compiler from the semantics. This derivation is a practical application of semantics-directed compiler development methodology.