Dataflow Analysis in a Language Workbench

Title

Dataflow Analysis in a Language Workbench

 Author

Bijman, Matthijs (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Programming Languages)

Contributor

Smits, J. (mentor)
Verwer, S.E. (graduation committee)
Chakraborty, S.S. (graduation committee)

Degree granting institution

Delft University of Technology

 Programme

Computer Science

 Date

2022-06-29

 Abstract

Dataflow analysis is a powerful tool used for program optimization, static analysis, and editor services for many programming languages. Spoofax, a language workbench, contains a domain-specific language called FlowSpec for the definition of control-flow and dataflow semantics that language developers can use to implement dataflow analyses for their language. FlowSpec however cannot be used to efficiently optimize programs. Other solutions are not suitable for language developers, or lack the ergonomics of a domain-specific language. In this thesis we present Flock: an incremental implementation of FlowSpec. We analyze the performance of Flock and show that it is efficient enough for use in optimization pipelines. Flock gives language developers the tools to succinctly write dataflow analyses for a wide variety of applications.

 Subject

Dataflow Analysis
Program Optimization
Programming Languages
Language Workbench

 To reference this document use:

http://resolver.tudelft.nl/uuid:1a32b1ef-524e-48bf-8588-975e0f00e71e

 Part of collection

Student theses

 Document type

master thesis

 Rights

© 2022 Matthijs Bijman
Files
PDF thesis.pdf 764.19 KB
Close viewer