Logical Modalities and Multi-Stage Programming
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.
Keywords [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, id: 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.
2013-01-152013-01-142021-05-11Bibliographically approved