hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
Imperial College London, London, United Kingdom.
Rice University, Houston, TX, USA.
Yale University, New Haven, CT, USA.
INRIA, Roquencourt, France.
2003 (English)In: Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings / [ed] Frank Pfenning & Yannis Smaragdakis, Heidelberg: Springer Berlin/Heidelberg, 2003, Vol. 2830, 57-76 p.Conference paper, Published paper (Refereed)
Abstract [en]

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 bytecode compiler 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 particularly useful for implementing domain-specific languages in a typed, functional setting. © Springer-Verlag Berlin Heidelberg 2003.

Place, publisher, year, edition, pages
Heidelberg: Springer Berlin/Heidelberg, 2003. Vol. 2830, 57-76 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 2830
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-20979DOI: 10.1007/978-3-540-39815-8_4ISI: 000187710700004Scopus ID: 2-s2.0-35248851156Libris ID: 9466762ISBN: 978-3-540-20102-1 ISBN: 978-3-540-39815-8 OAI: oai:DiVA.org:hh-20979DiVA: diva2:588278
Conference
GPCE'03, Second International Conference on Generative Programming and Component Engineering, Erfurt, Germany, September 22-25, 2003
Note

Funded by NSF ITR-0113569.

Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2015-05-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 90 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf