Syntactic abstraction in scheme Export

@article{Dybvig:1993:Macro, abstract = {Naive program transformations can have surprising effects due to the interaction between introduced identifier references and previously existing identifier bindings, or between introduced bindings and previously existing references. These interactions can result in inadvertent binding, or capturing, of identifiers. A further complication is that transformed programs may have little resemblance to original programs, making correlation of source and object code difficult. This article describes an efficient macro system that prevents inadvertent capturing while maintaining the correlation between source and object code. The macro system allows the programmer to define program transformations using an unrestricted, general-purpose language. Previous approaches to the capturing problem have been inadequate, overly restrictive, or inefficient, and the problem of source-object correlation has been largely unaddressed. The macro system is based on a new algorithm for implementing syntactic transformations and a new representation for syntactic expressions.}, author = {Dybvig, Kent R. and Hieb, Robert and Bruggeman, Carl}, citeulike-article-id = {3623282}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BF01806308}, citeulike-linkout-1 = {http://www.springerlink.com/content/rh4u5364r6183v52}, day = {1}, doi = {10.1007/BF01806308}, journal = {LISP and Symbolic Computation}, keywords = {macros}, month = {December}, number = {4}, pages = {295--326}, posted-at = {2009-10-21 16:57:29}, priority = {2}, title = {Syntactic abstraction in scheme}, url = {http://dx.doi.org/10.1007/BF01806308}, volume = {5}, year = {1993} }

TY - JOUR ID - Dybvig:1993:Macro L3 - citeulike-article-id:3623282 N2 - Naive program transformations can have surprising effects due to the interaction between introduced identifier references and previously existing identifier bindings, or between introduced bindings and previously existing references. These interactions can result in inadvertent binding, or capturing, of identifiers. A further complication is that transformed programs may have little resemblance to original programs, making correlation of source and object code difficult. This article describes an efficient macro system that prevents inadvertent capturing while maintaining the correlation between source and object code. The macro system allows the programmer to define program transformations using an unrestricted, general-purpose language. Previous approaches to the capturing problem have been inadequate, overly restrictive, or inefficient, and the problem of source-object correlation has been largely unaddressed. The macro system is based on a new algorithm for implementing syntactic transformations and a new representation for syntactic expressions. IS - 4 JF - LISP and Symbolic Computation EP - 326 TI - Syntactic abstraction in scheme VL - 5 SP - 295 KW - macros AU - Dybvig, Kent AU - Hieb, Robert AU - Bruggeman, Carl PY - 1993/12/01/ UR - http://dx.doi.org/10.1007/BF01806308 ER -