FlowSpec

Declarative Dataflow Analysis Specification

Conference paper (2017)

Authors

J. Smits Programming Languages - EEMCS
Eelco Visser Programming Languages - EEMCS
Research Group
Programming Languages (EEMCS) (TU Delft)
More Info
expand_more

Published Date

2017-10

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

Department

Software Technology

Research Group

Programming Languages

Abstract

We present FlowSpec, a declarative specification language for the domain of dataflow analysis. FlowSpec has declarative support for the specification of control flow graphs of programming languages, and dataflow analyses on these control flow graphs. We define the formal semantics of FlowSpec, which is rooted in Monotone Frameworks. We also discuss a prototype implementation of the language, built in the Spoofax Language Workbench. Finally, we evaluate the expressiveness and conciseness of the language with two case studies. These case studies are performed using Green-Marl, an industrial, domain-specific language for graph processing. The first case study is a classical dataflow analysis, scaled to this full language. The second case study is a domain-specific analysis of Green-Marl.

Files

Sle17_flowspec_preprint.pdf
(pdf | 0.944 Mb)
Unknown license

Download not available