Framing Programming Languages: Designing and Using a Frame-Based Virtual Machine
Master Project of Bram Crielaard


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.

Thesis


Framing Programming Languages: Designing and Using a Frame-Based Virtual Machine

Student: Bram Crielaard
Supervisor(s): Casper Bach Poulsen, Eelco Visser
Defended: April 21, 2021