Supporting Separate Compilation in a Defunctionalizing Compiler

Fourtounis, Georgios; Papaspyrou, Nikolaos S.

doi:10.4230/OASIcs.SLATE.2013.39

Document

Supporting Separate Compilation in a Defunctionalizing Compiler

Authors Georgios Fourtounis, Nikolaos S. Papaspyrou

Part of: Volume: 2nd Symposium on Languages, Applications and Technologies (SLATE 2013)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Symposium on Languages, Applications and Technologies (SLATE)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2013-06-05

PDF

File

PDF

OASIcs.SLATE.2013.39.pdf

Filesize: 447 kB
11 pages

Document Identifiers

DOI: 10.4230/OASIcs.SLATE.2013.39
URN: urn:nbn:de:0030-drops-40294

Subject Classification

Keywords

Defunctionalization
functional programming
modules
separate compilation

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Georgios Fourtounis

Nikolaos S. Papaspyrou

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail