hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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 (Engelska)Ingår i: 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, s. 57-76Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Heidelberg: Springer Berlin/Heidelberg, 2003. Vol. 2830, s. 57-76
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 2830
Nationell ämneskategori
Datorsystem
Identifikatorer
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, id: diva2:588278
Konferens
GPCE'03, Second International Conference on Generative Programming and Component Engineering, Erfurt, Germany, September 22-25, 2003
Anmärkning

Funded by NSF ITR-0113569.

Tillgänglig från: 2013-01-15 Skapad: 2013-01-14 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Taha, Walid

Sök vidare i DiVA

Av författaren/redaktören
Taha, Walid
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 193 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf