| Abstract
|
<p>The paper addresses theoretical a … <p>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.</p>s in a typed, functionalsetting.</p>
|
| Author
|
Cristiano Calcagno +
, Walid Taha +
, Liwen Huang +
, Xavier Leroy +
|
| Conference
|
GPCE'03 International Conference on Generative Programming and Component Engineering.
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588278
|
| PublicationType
|
Conference Paper +
|
| Title
|
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
|
| Year
|
2003 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
, Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:44:48 +
|
