Logical Modalities and Multi-Stage Programming

Benaissa, Zine El-AbidineOregon Graduate Institute, Portland, OR, USA (författare)

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.
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.

Moggi, EugenioDISI, University of Genoa, Genoa, Italy (författare)
Taha, Walid,1971-Oregon Graduate Institute, Portland, OR, USA(Swepub:hh)waltah (författare)
Sheard, TimOregon Graduate Institute, Portland, OR, USA (författare)
Oregon Graduate Institute, Portland, OR, USADISI, University of Genoa, Genoa, Italy (creator_code:org_t)

Av författaren/redakt...: Benaissa, Zine E ...; Moggi, Eugenio; Taha, Walid, 197 ...; Sheard, Tim

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Datorsystem

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.