OASIcs.SLATE.2013.39.pdf
- Filesize: 447 kB
- 11 pages
Document
Supporting Separate Compilation in a Defunctionalizing Compiler
Authors
-
Part of:
Volume:
2nd Symposium on Languages, Applications and Technologies (SLATE 2013)
Series: Open Access Series in Informatics (OASIcs)
Conference: Symposium on Languages, Applications and Technologies (SLATE) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2013-06-05
Cite As Get BibTex
Georgios Fourtounis and Nikolaos S. Papaspyrou. Supporting Separate Compilation in a Defunctionalizing Compiler. In 2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, pp. 39-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/OASIcs.SLATE.2013.39
Abstract
Defunctionalization is generally considered a whole-program transformation and thus incompatible with separate compilation. In this paper, we formalize a modular variant of defunctionalization which can support separate compilation. Our technique allows modules in a Haskell-like language to be separately defunctionalized and compiled, then linked together to generate an executable program. We provide a prototype implementation of our modular defunctionalization technique and we discuss the experiences of its application in a compiler from a large subset of Haskell to low-level C code, based on the intensional transformation.
Subject Classification
Keywords
- Defunctionalization
- functional programming
- modules
- separate compilation
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads