1 Search Results for "Reinders, Jaro S."

Document
DOI: 10.4230/OASIcs.EVCS.2023.22
Towards Modular Compilation Using Higher-Order Effects

Authors: Jaro S. Reinders

Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)

Abstract
Compilers transform a human readable source language into machine readable target language. Nanopass compilers simplify this approach by breaking up this transformation into small steps that are more understandable, maintainable, and extensible. We propose a semantics-driven variant of the nanopass compiler architecture exploring the use a effects and handlers to model the intermediate languages and the transformation passes, respectively. Our approach is fully typed and ensures that all cases in the compiler are covered. Additionally, by using an effect system we abstract over the control flow of the intermediate language making the compiler even more flexible. We apply this approach to a minimal compiler from a language with arithmetic and let-bound variables to a string of pretty printed X86 instructions. In the future, we hope to extend this work to compile a larger and more complicated language and we envision a formal verification framework from compilers written in this style.
Cite as

Jaro S. Reinders. Towards Modular Compilation Using Higher-Order Effects. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 22:1-22:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{reinders:OASIcs.EVCS.2023.22,
  author =	{Reinders, Jaro S.},
  title =	{{Towards Modular Compilation Using Higher-Order Effects}},
  booktitle =	{Eelco Visser Commemorative Symposium (EVCS 2023)},
  pages =	{22:1--22:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-267-9},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{109},
  editor =	{L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.22},
  URN =		{urn:nbn:de:0030-drops-177926},
  doi =		{10.4230/OASIcs.EVCS.2023.22},
  annote =	{Keywords: algebraic effects and handlers, higher-order effects, monadic semantics, modularity, compilation, nanopass}
}
  • Refine by Author
  • 1 Reinders, Jaro S.

  • Refine by Classification
  • 1 Software and its engineering → Compilers
  • 1 Theory of computation → Program semantics

  • Refine by Keyword
  • 1 algebraic effects and handlers
  • 1 compilation
  • 1 higher-order effects
  • 1 modularity
  • 1 monadic semantics
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2023

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact