Macro-by-example: Deriving syntactic transformations from their specifications Export

@inproceedings{Kohlbecker:1987:Macro, abstract = {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.}, address = {New York, NY, USA}, author = {Kohlbecker, Eugene E. and Wand, Mitchell}, booktitle = {POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages}, citeulike-article-id = {190436}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=41632}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/41625.41632}, doi = {10.1145/41625.41632}, isbn = {0-89791-215-2}, keywords = {macros}, location = {Munich, West Germany}, pages = {77--84}, posted-at = {2009-10-21 05:13:33}, priority = {4}, publisher = {ACM}, title = {Macro-by-example: Deriving syntactic transformations from their specifications}, url = {http://dx.doi.org/10.1145/41625.41632}, year = {1987} }

TY - CONF ID - Kohlbecker:1987:Macro L3 - citeulike-article-id:190436 N2 - 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. CY - Munich, West Germany SN - 0-89791-215-2 AD - New York, NY, USA EP - 84 TI - Macro-by-example: Deriving syntactic transformations from their specifications PB - ACM T2 - POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages SP - 77 KW - macros AU - Kohlbecker, Eugene AU - Wand, Mitchell PY - 1987/// UR - http://dx.doi.org/10.1145/41625.41632 ER -