Framing Programming Languages

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

Crielaard, Bram (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Programming Languages)

Visser, Eelco (mentor)
Poulsen, C.B. (graduation committee)
Rellermeyer, Jan S. (graduation committee)

Delft University of Technology

Computer Science

2021-04-21

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.

Virtual Machines
Scopes-as-frames
Memory Management
Scheme
Control Flow

http://resolver.tudelft.nl/uuid:cd8a7009-67ed-458b-97b1-e7884498a574

Student theses

master thesis

© 2021 Bram Crielaard