hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngå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-217Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
New York, NY: ACM Press, 1997. Vol. 32, s. 203-217
Serie
ACM / SIGPLAN Notices, ISSN 0362-1340 ; 12
HSV kategori
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
Konferanse
PEPM'97 – International Symposium on Partial Evaluation and Semantics Based Program Manipulation, Amsterdam, Netherlands, 12-13 June, 1997
Merknad

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

Tilgjengelig fra: 2013-01-15 Laget: 2013-01-15 Sist oppdatert: 2018-03-22bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Taha, Walid

Søk i DiVA

Av forfatter/redaktør
Taha, Walid

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 128 treff
RefereraExporteraLink to record
Permanent link

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