Hygienic macro expansion

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Hygienic macro expansion

Full text

Pdf (762 KB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1986 ACM conference on LISP and functional programming table of contents

Cambridge, Massachusetts, United States

Pages: 151 - 161

Year of Publication: 1986

ISBN:0-89791-200-4

Authors

Eugene Kohlbecker	Computer Science Department, Lindley Hall 101, Indiana University, Bloomington, Indiana
Daniel P. Friedman	Computer Science Department, Lindley Hall 101, Indiana University, Bloomington, Indiana
Matthias Felleisen	Computer Science Department, Lindley Hall 101, Indiana University, Bloomington, Indiana
Bruce Duba	Computer Science Department, Lindley Hall 101, Indiana University, Bloomington, Indiana

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 22, Downloads (12 Months): 221, Citation Count: 48

Additional Information:

references cited by collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/319838.319859 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BARENDRZGT, H. 1a. Introduction to the lambda calculus. Niestv Archi~! voor Wisenlmnde ~ 4 (1984), 337-372.
	2	BARZNDRZGT, H. P. The L4mbdg Calcsdus: Its Sintaz and Semantics Revised Edition. North-Holland, Amsterdam, 1984.
	3	CUNGZa, W. D., (ZO.). The revised revised report on Scheme. Joint Technical i~port Indiana University and MiT Laboratory for Computer Science, 1985.
	4	KLEENI~, STEPHEN COLE. lntrodssction to Metamathematics, Van Nostrand, New York, 1952.
	5	M. Douglas McIlroy, Macro instruction extensions of compiler languages, Communications of the ACM, v.3 n.4, p.214-220, April 1960 [doi>10.1145/367177.367223]
	6	Guy L. Steele, Jr., Common LISP: the language (2nd ed.), Digital Press, Newton, MA, 1990
	7	STEELE, GUY L., JR. AND GgRALD J. $USSMAN. The revised report on Scheme, a dialect of Lisp. Memo 452, MiT AI-Lab, 1978.

CITED BY 49

	Claus Brabrand , Michael I. Schwartzbach, Growing languages with metamorphic syntax macros, ACM SIGPLAN Notices, v.37 n.3, p.31-40, March 2002
	Steven E. Ganz , Amr Sabry , Walid Taha, Macros as multi-stage computations: type-safe, generative, binding macros in MacroML, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Ana Bove , Laura Arbilla, A confluent calculus of Macro expansion and evaluation, ACM SIGPLAN Lisp Pointers, v.V n.1, p.278-287, Jan. 1992
	Alan Bawden , Jonathan Rees, Syntactic closures, Proceedings of the 1988 ACM conference on LISP and functional programming, p.86-95, July 25-27, 1988, Snowbird, Utah, United States
	Christopher T. Haynes , Daniel P. Friedman, Embedding continuations in procedural objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.582-598, Oct. 1987
	Daniel Weise , Roger Crew, Programmable syntax macros, ACM SIGPLAN Notices, v.28 n.6, p.156-165, June 1993
	Alan Bawden, First-class macros have types, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-141, January 19-21, 2000, Boston, MA, USA
	Jonthan Bachrach , Keith Playford, The Java syntactic extender (JSE), ACM SIGPLAN Notices, v.36 n.11, p.31-42, 11/01/2001
	Yan-David Erlich, Implementing design patterns as language constructs, ACM SIGPLAN Notices, v.34 n.1, p.348, Jan. 1999
	Oscar Waddell , R. Kent Dybvig, Extending the scope of syntactic abstraction, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.203-215, January 20-22, 1999, San Antonio, Texas, United States
	Tim Sheard , Simon Peyton Jones, Template meta-programming for Haskell, ACM SIGPLAN Notices, v.37 n.12, December 2002
	Guy L. Steele, Jr. , Richard P. Gabriel, The evolution of Lisp, ACM SIGPLAN Notices, v.28 n.3, p.231-270, March 1993
	Robert Muller, A staging calculus and its application to the verification of translators (preliminary report), Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.389-396, January 16-19, 1994, Portland, Oregon, United States
	Tim Sheard , Simon Peyton Jones, Template meta-programming for Haskell, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.1-16, October 03, 2002, Pittsburgh, Pennsylvania
	Matthew Flatt, Composable and compilable macros:: you want it when?, ACM SIGPLAN Notices, v.37 n.9, p.72-83, September 2002
	David B. Tucker , Shriram Krishnamurthi, Pointcuts and advice in higher-order languages, Proceedings of the 2nd international conference on Aspect-oriented software development, p.158-167, March 17-21, 2003, Boston, Massachusetts
	William Clinger , Jonathan Rees, Macros that work, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.155-162, January 21-23, 1991, Orlando, Florida, United States
	Philip Wickline , Peter Lee , Frank Pfenning, Run-time code generation and modal-ML, ACM SIGPLAN Notices, v.33 n.5, p.224-235, May 1998
	E. E. Kohlbecker , M. Wand, Macro-by-example: Deriving syntactic transformations from their specifications, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.77-84, January 21-23, 1987, Munich, West Germany
	Yannis Smaragdakis , Shan Shan Huang , David Zook, Program generators and the tools to make them, Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.92-100, August 24-25, 2004, Verona, Italy
	Michael D. Ernst , Greg J. Badros , David Notkin, An Empirical Analysis of C Preprocessor Use, IEEE Transactions on Software Engineering, v.28 n.12, p.1146-1170, December 2002
	Guy L. Steele , Richard P. Gabriel, The evolution of Lisp, History of programming languages---II, ACM Press, New York, NY, 1996
	Zhendong Su , Gary Wassermann, The essence of command injection attacks in web applications, ACM SIGPLAN Notices, v.41 n.1, p.372-382, January 2006
	Ik-Soon Kim , Kwangkeun Yi , Cristiano Calcagno, A polymorphic modal type system for lisp-like multi-staged languages, ACM SIGPLAN Notices, v.41 n.1, p.257-268, January 2006
	Jimin Gao , Mike Whalen , Eric Van Wyk, Extending Lustre with Timeout Automata, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.4, p.111-124, June, 2008
	R. Kent Dybvig, The development of Chez Scheme, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Yannis Smaragdakis , Don Batory, DiSTiL: a transformation library for data structures, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.20-20, October 15-17, 1997, Santa Barbara, California
	Christopher Dutchyn , David B. Tucker , Shriram Krishnamurthi, Semantics and scoping of aspects in higher-order languages, Science of Computer Programming, v.63 n.3, p.207-239, 15 December 2006
	Andrew D. Eisenberg , Gregor Kiczales, Expressive programs through presentation extension, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	Kimberley Burchett , Gregory H. Cooper , Shriram Krishnamurthi, Lowering: a static optimization technique for transparent functional reactivity, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	Abdulaziz Ghuloum , R. Kent Dybvig, Implicit phasing for R6RS libraries, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Ozan S. Yigit, Readings in scheme, ACM SIGPLAN Lisp Pointers, v.2 n.1, p.56-61, July-August-September 1988
	Shriram Krishnamurthi, EDUCATIONAL PEARL: Automata via macros, Journal of Functional Programming, v.16 n.3, p.253-267, May 2006
	Carl Gould , Zhendong Su , Premkumar Devanbu, Static Checking of Dynamically Generated Queries in Database Applications, Proceedings of the 26th International Conference on Software Engineering, p.645-654, May 23-28, 2004
	H. Abelson , R. K. Dybvig , C. T. Haynes , G. J. Rozas , N. I. Adams, IV , D. P. Friedman , E. Kohlbecker , G. L. Steele, Jr. , D. H. Bartley , R. Halstead , D. Oxley , G. J. Sussman , G. Brooks , C. Hanson , K. M. Pitman , M. Wand , William Clinger , Jonathan Rees, Revised report on the algorithmic language scheme, ACM SIGPLAN Lisp Pointers, v.IV n.3, p.1-55, July, 1991
	Liisa Räihä, A brief look at extension programming before and now, ACM SIGPLAN Notices, v.30 n.2, p.12-20, Feb. 1995
	Jonathan Rees, The scheme of things: implementing lexically scoped macros, ACM SIGPLAN Lisp Pointers, v.VI n.1, p.33-37, Jan.-March 1993
	Jeroen Arnoldus , Jeanot Bijpost , Mark van den Brand, Repleo: a syntax-safe template engine, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	R. Kent Dybvig, From Macrogeneration to Syntactic Abstraction, Higher-Order and Symbolic Computation, v.13 n.1-2, p.57-63, April 2000
	Robert Bruce Findler , John Clements , Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , Paul Steckler , Matthias Felleisen, DrScheme: a programming environment for Scheme, Journal of Functional Programming, v.12 n.2, p.159-182, March 2002
	H. Abelson , R. K. Dybvig , C. T. Haynes , G. J. Rozas , N. I. Adams Iv , D. P. Friedman , E. Kohlbecker , G. L. Steele, Jr. , D. H. Bartley , R. Halstead , D. Oxley , G. J. Sussman , G. Brooks , C. Hanson , K. M. Pitman , M. Wand, Revised Report on the Algorithmic Language Scheme, Higher-Order and Symbolic Computation, v.11 n.1, p.7-105, August 1998
	Jennifer Gillenwater , Gregory Malecha , Cherif Salama , Angela Yun Zhu , Walid Taha , Jim Grundy , John O'Leary, Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Gary Wassermann , Carl Gould , Zhendong Su , Premkumar Devanbu, Static checking of dynamically generated queries in database applications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.4, p.14-es, September 2007
	Russ Cox , Tom Bergan , Austin T. Clements , Frans Kaashoek , Eddie Kohler, Xoc, an extension-oriented compiler for systems programming, ACM SIGOPS Operating Systems Review, v.42 n.2, March 2008
	Sahil Thaker , Don Batory , David Kitchin , William Cook, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	Ryan Culpepper , Matthias Felleisen, Debugging macros, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	Laurence Tratt, Domain specific language implementation via compile-time meta-programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.6, p.1-40, October 2008
	Shan Shan Huang , David Zook , Yannis Smaragdakis, Domain-specific languages and program generation with meta-AspectJ, ACM Transactions on Software Engineering and Methodology (TOSEM), v.18 n.2, p.1-32, November 2008
	Michael Sperber , R. kent Dybvig , Matthew Flatt , Anton Van straaten , Robby Findler , Jacob Matthews, Revised6 report on the algorithmic language scheme, Journal of Functional Programming, v.19 n.S1, p.1-301, August 2009

Collaborative Colleagues:

Eugene Kohlbecker: colleagues

Daniel P. Friedman: colleagues

Matthias Felleisen: colleagues

Bruce Duba: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player