Macroexpansion Reflective Tower

Macroexpansion Reflective Tower (1996)

by Christian Queinnec

Venue:	Proceedings of the Reflection’96 Conference
Citations:	7 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Macroexpansion Reflective Tower	user correction - Legacy Corrections
AUTHOR NAME	Christian Queinnec	SVM HeaderParse 0.1
AUTHOR AFFIL	y	SVM HeaderParse 0.2
AUTHOR ADDR	Ecole Polytechnique & INRIA-Rocquencourt	SVM HeaderParse 0.1
ABSTRACT	Macros are reflective tools that operate on the representation of programs. Though having been used, and still being useful, for more than thirty years, their semantics and pragmatics are still unclear. This paper proposes a new model to understand the macroexpansion process; this model is based on a reflective tower of macroexpansion engines. 1 Introduction Macros are definitely a forte of Lisp dialects. They confer upon the powerful users a means to adapt their language to their problems and this is, in our mind, one of the key reasons for Lisp's longevity. Despite the various attempts to standardize macros [Ste90, CR91b] and even if most of them are just quite simple abbreviations, they still represent one of the thorniest problems that occur when porting code between dialects of Lisp: a sure sign of their ambiguous nature. Even in Scheme, macros still have a dark side with respect to their scope, their extent and their meaning i.e., their definition language. This paper proposes a...	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE	Proceedings of the Reflection’96 Conference	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	93--104	INFERENCE
CITATIONS	21 found	ParsCit 1.0