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

Direktlänk
Referera
Referensformat
  • apa
  • 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: Axiomatization and Type-Safety
Oregon Graduate Institute, Hillsboro, Oregon, United States.
Oregon Graduate Institute, Hillsboro, Oregon, United States.
Oregon Graduate Institute, Hillsboro, Oregon, United States.
1998 (Engelska)Ingår i: Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / [ed] Kim G. Larsen, Sven Skyum & Glynn Winksel, Berlin: Springer Berlin/Heidelberg, 1998, s. 918-929Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Multi-stage programming provides a new paradigm for constructing efficient solutions to complex problems. Techniques such as program generation, multi-level partial evaluation, and run-time code generation respond to the need for general purpose solutions which do not pay run-time interpretive overheads. This paper provides a foundation for the formal analysis of one such system.

We introduce a multi-stage language and present its axiomatic and reduction semantics. Our axiomatic semantics is an extension of the call-by-value λ-calculus with staging constructs. We show that staged-languages can “go Wrong” in new ways, and devise a type system that screens out such programs. Finally, we present a proof of the soundness of this type system with respect to the reduction semantics. © Springer 1998

Ort, förlag, år, upplaga, sidor
Berlin: Springer Berlin/Heidelberg, 1998. s. 918-929
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1443
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:hh:diva-21098DOI: 10.1007/BFb0055113Libris ID: 5379132ISBN: 978-3-540-64781-2 ISBN: 978-3-540-68681-1 OAI: oai:DiVA.org:hh-21098DiVA, id: diva2:588305
Konferens
ICALP'98 – International Colloquium on Automata, Languages, and Programming, Aalborg, Denmark, July 13–17, 1998
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-9625462.

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 fulltext

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: 104 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • 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