Framing Programming Languages

Designing and Using a Frame-Based Virtual Machine

Master thesis (2021)

Authors

B. Crielaard Electrical Engineering, Mathematics and Computer Science

Contributors

Eelco Visser Programming Languages - EEMCS (supervisor 1)
C.B. Poulsen Programming Languages - EEMCS (supervisor 2)
Jan S. Rellermeyer Data-Intensive Systems - EEMCS (coach)
Faculty
Electrical Engineering, Mathematics and Computer Science
Copyright: © 2021 Bram Crielaard
More Info
expand_more

Published Date

21-04-2021

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Abstract

This thesis introduces the FrameVM virtual machine and the Framed language. This language gives developers a target to compile to which concisely follows the scopes-as-frames model. This model allows language developers to derive the memory model based on the scope graphs. The core building blocks of Framed are frames, which contain all data including code. To demonstrate the viability of this model this paper also introduces a compiler from Scheme to Framed, focussing on complex control structures such as call-with-current-continuation and closures. As a result we aim to show that Framed is usable as a target language for compiling, even though it does not have a stack nor registers.