Sökning: L773:9783540677154 OR L773:9783540450221 >
Closed Types as a S...
Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming
-
- Calcagno, Cristiano (författare)
- DISI, University of Genoa, Genoa, Italy
-
- Moggi, Eugenio (författare)
- DISI, University of Genoa, Genoa, Italy
-
- Taha, Walid, 1971- (författare)
- Department of Computing Sciences, Chalmers, Göteborg, Sweden
-
(creator_code:org_t)
- Heidelberg : Springer, 2000
- 2000
- Engelska.
-
Ingår i: Automata, Languages and Programming. - Heidelberg : Springer. - 9783540677154 - 9783540450221 ; , s. 25-36
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Safely adding computational effects to a multi-stage language has been an open problem. In previous work, a closed type constructor was used to provide a safe mechanism for executing dynamically generated code. This paper proposes a general notion of closed type as a simple approach to safely introducing computational effects into multi-stage languages. We demonstrate this approach formally in a core language called Mini-MLref BN. This core language combines safely multi-stage constructs and ML-style references. In addition to incorporating state, Mini-ML ref BN also embodies a number of technical improvements over previously proposed core languages for multi-stage programming.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas