hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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, p. 25-36Conference 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. p. 25-36
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, id: 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: 2018-03-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Taha, Walid

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 445 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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