Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
From CERES
| Title | Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection |
|---|---|
| Author | Cristiano Calcagno and Walid Taha and Liwen Huang and Xavier Leroy |
| Year | 2003 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | |
| DOI | |
| Conference | GPCE'03 International Conference on Generative Programming and Component Engineering. |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588278 |
| Abstract | The paper addresses theoretical and practical aspects of implementing multi-stage languages using abstract syntax trees (ASTs),gensym, and reflection. We present an operational account of the correctness of this approach, and report on our experience with a bytecodecompiler called MetaOCaml that is based on this strategy. Current performance measurements reveal interesting characteristics of the underlying OCaml compiler, and illustrate why this strategy can be particularlyuseful for implementing domain-specific languages in a typed, functionalsetting. |
