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
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 (English)In: 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, 918-929 p.Conference paper, Published paper (Refereed)
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

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 1998. 918-929 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1443
National Category
Computer Systems
Identifiers
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: diva2:588305
Conference
ICALP'98 – International Colloquium on Automata, Languages, and Programming, Aalborg, Denmark, July 13–17, 1998
Note

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

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

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 71 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