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
Multi-Stage Programming with Explicit Annotations
Oregon Graduate Institute of Science & Technology, Hillsboro, OR, United States.
Oregon Graduate Institute of Science & Technology, Hillsboro, OR, United States.
1997 (Engelska)Ingår i: PEPM '97: Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, New York, NY: ACM Press, 1997, Vol. 32, s. 203-217Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

We introduce MetaML, a statically-typed multi-stage programming language extending Nielson and Nielson's two stage notation to an arbitrary number of stages. MetaML extends previous work by introducing four distinct staging annotations which generalize those published previously [25, 12, 7, 6]. We give a static semantics in which type checking is done once and for all before the first stage, and a dynamic semantics which introduces a new concept of cross-stage persistence, which requires that variables available in any stage are also available in all future stages. We illustrate that staging is a manual form of binding time analysis. We explain why, even in the presence of automatic binding time analysis, explicit annotations are useful, especially for programs with more than two stages. A thesis of this paper is that multi-stage languages are useful as programming languages in their own right, and should support features that make it possible for programmers to write staged computations without significantly changing their normal programming style. To illustrate this we provide a simple three stage example, and an extended two-stage example elaborating a number of practical issues.

Ort, förlag, år, upplaga, sidor
New York, NY: ACM Press, 1997. Vol. 32, s. 203-217
Serie
ACM / SIGPLAN Notices, ISSN 0362-1340 ; 12
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:hh:diva-21099DOI: 10.1145/258994.259019ISI: 000071026500018Scopus ID: 2-s2.0-0030691229Libris ID: 12438191ISBN: 0-89791-917-3 OAI: oai:DiVA.org:hh-21099DiVA, id: diva2:588307
Konferens
PEPM'97 – International Symposium on Partial Evaluation and Semantics Based Program Manipulation, Amsterdam, Netherlands, 12-13 June, 1997
Anmärkning

The research reported in this paper was supported by the USAF Air Materiel Command, contract F19628-93-C-0069, and NSF Grant IRI-962546.

Tillgänglig från: 2013-01-15 Skapad: 2013-01-15 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: 129 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