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
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 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
1999.
Nyckelord [en]
Multi-stage programming, categorical models, semantics, type systems (multi-level typed calculi), combination of logics (modal and temporal)
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:hh:diva-20994OAI: oai:DiVA.org:hh-20994DiVA, id: diva2:588300
Konferens
IMLA'99, Intuitionistic Modal Logics and Applications Workshop, Trento, Italy, June 30-July 12, 1999
Anmärkning

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.

Tillgänglig från: 2013-01-15 Skapad: 2013-01-14 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Full text

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

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 215 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