Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Obtaining coroutines with continuations
Computer Languages
A closer look at export and import statements
Computer Languages
Syntactic extensions in the programming language LISP
Syntactic extensions in the programming language LISP
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Compilers and staging transformations
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
M-LISP: its natural semantics and equational logic
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
M-LISP: a representation-independent dialect of LISP with reduction semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
A confluent calculus of Macro expansion and evaluation
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A transformational approach to generating application-specific environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
The scheme of things: implementing lexically scoped macros
ACM SIGPLAN Lisp Pointers
Metalevel building blocks for modular systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing design patterns as language constructs
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Growing languages with metamorphic syntax macros
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Pointcuts and advice in higher-order languages
Proceedings of the 2nd international conference on Aspect-oriented software development
Expressing Structural Properties as Language Constructs
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
From Macros to Reusable Generative Programming
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Transformation-by-Example for XML
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
A Variadic Extension of Curry's Fixed-Point Combinator
Higher-Order and Symbolic Computation
Small bisimulations for reasoning about higher-order imperative programs
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
EDUCATIONAL PEARL: Automata via macros
Journal of Functional Programming
Semantics and scoping of aspects in higher-order languages
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Science of Computer Programming
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Higher-Order and Symbolic Computation
Hi-index | 0.00 |
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.