Dynamix: A Domain-Specific Language for Dynamic Semantics

Dynamix: A Domain-Specific Language for Dynamic Semantics

Molendijk, Thijs (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Programming Languages)

Visser, Eelco (mentor)
Poulsen, C.B. (mentor)
van Deursen, A. (graduation committee)
Tolmach, A. (graduation committee)

Delft University of Technology

Computer Science

2022-08-30

The dynamic semantics of a programming language formally describe the runtime behavior of any given program. In this thesis, we present Dynamix, a meta-language for dynamic semantics. By writing a specification for a language in Dynamix, a compiler for the language can be derived automatically.

Dynamix specifications compile source programs to the Tim intermediate representation, a language-agnostic target IR designed to be able to be efficiently interpreted or compiled. Dynamix and Tim make use of the continuation-passing style to abstract over control flow, giving language developers fine-grained access to control flow primitives in their specification. A novel abstraction in Dynamix allows the construction of these CPS terms without the traditional friction involved. Dynamix is fully typed and integrated within the Spoofax language workbench. This allows language developers to interact directly with other parts of the workbench, including automatic type signature generation and the ability to query the results of static analysis.

Through case studies for miniStratego and ChocoPy with exceptions, we show that Dynamix is capable of succinctly representing a wide range of source language features and paradigms. Current performance is acceptable, with the foundations for a future efficient compiler for the Tim IR already in place.

Programming Languages
Spoofax
Domain Specific Languages
Dynamic semantics
Dynamix

http://resolver.tudelft.nl/uuid:8653ab24-a782-41f0-aefc-6b1c8d9a37d5

Student theses

master thesis

© 2022 Thijs Molendijk