id:"swepub:oai:DiVA.org:hh-20994"
Search: id:"swepub:oai:DiVA.org:hh-20994" > Logical Modalities ...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Benaissa, Zine El-AbidineOregon Graduate Institute, Portland, OR, USA (author)
Logical Modalities and Multi-Stage Programming
- Article/chapterEnglish1999
Publisher, publication year, extent ...
- 1999
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:hh-20994
- https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20994URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- 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.
Subject headings and genre
- TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
- ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
- Multi-stage programming
- categorical models
- semantics
- type systems (multi-level typed calculi)
- combination of logics (modal and temporal)
Added entries (persons, corporate bodies, meetings, titles ...)
- Moggi, EugenioDISI, University of Genoa, Genoa, Italy (author)
- Taha, Walid,1971-Oregon Graduate Institute, Portland, OR, USA(Swepub:hh)waltah (author)
- Sheard, TimOregon Graduate Institute, Portland, OR, USA (author)
- Oregon Graduate Institute, Portland, OR, USADISI, University of Genoa, Genoa, Italy (creator_code:org_t)
Internet link
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Benaissa, Zine E ...
- Moggi, Eugenio
- Taha, Walid, 197 ...
- Sheard, Tim
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- By the university
- Halmstad University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
