hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming
DISI, University of Genoa, Genoa, Italy.
DISI, University of Genoa, Genoa, Italy.
Department of Computing Sciences, Chalmers, Göteborg, Sweden.
2000 (English)In: Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings / [ed] Ugo Montanari, José D. P. Rolim & Emo Welzl, Heidelberg: Springer, 2000, 25-36 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Heidelberg: Springer, 2000. 25-36 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1853
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-20990DOI: 10.1007/3-540-45022-X_4ISI: 000089738700004Libris ID: 5381503ISBN: 978-3-540-67715-4 (print)ISBN: 978-3-540-45022-1 (print)OAI: oai:DiVA.org:hh-20990DiVA: diva2:588297
Conference
ICALP'00, International Colloquium on Automata, Languages, and Programming, Geneva, Switzerland, July 9–15, 2000
Note

Research partially supported by MURST and ESPRIT WG APPSEM. Postdoctoral Fellow funded by the Swedish Research Council for Engineering Sciences (TFR), grant number 221-96-403.

Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2017-02-08Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 79 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf