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
Logical Modalities and Multi-Stage Programming
Oregon Graduate Institute, Portland, OR, USA.
DISI, University of Genoa, Genoa, Italy.
Oregon Graduate Institute, Portland, OR, USA.
Oregon Graduate Institute, Portland, OR, USA.
1999 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Multi-stage programming is a method for improving the performance of programs through the introduction of controlled program specialization. This paper makes a case for multi-stage programming with open code and closed values. We argue that a simple language exploiting interactions between two logical modalities is well suited for multi-stage programming, and report the results from our study of categorical models for multi-stage languages.

Place, publisher, year, edition, pages
1999.
Keyword [en]
Multi-stage programming, categorical models, semantics, type systems (multi-level typed calculi), combination of logics (modal and temporal)
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-20994OAI: oai:DiVA.org:hh-20994DiVA: diva2:588300
Conference
IMLA'99, Intuitionistic Modal Logics and Applications Workshop, Trento, Italy, June 30-July 12, 1999
Note

Research supported by the NSF Grant IRI-9625462, The Department of Defense, USAF Air Materiel Command contract # F19628-93-C-0069, and The NSF Grant CDA-9703218. Research partially supported by MURST progetto cofinanziato "Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software", ESPRIT WG APPSEM.

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

Open Access in DiVA

No full text

Other links

Full text

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

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