FlowSpec

None, None; None, None

FlowSpec

Declarative Dataflow Analysis Specification

Conference Paper (2017)

Author(s)

Jeff Smits (TU Delft - Electrical Engineering, Mathematics and Computer Science)

Eelco Visser (TU Delft - Electrical Engineering, Mathematics and Computer Science)

Research Group

Programming Languages

Spoofax Domain specific language Data-flow Analysis Control flow graph

DOI related publication

https://doi.org/10.1145/3136014.3136029 Final published version

To reference this document use

https://resolver.tudelft.nl/uuid:9f59f235-9abd-4345-ba43-3fe5d7059ed4

More Info

expand_more

Publication Year

2017

Language

English

Research Group

Programming Languages

Pages (from-to)

221-231

ISBN (electronic)

978-1-4503-5525-4

Event

SLE 2017 (2017-10-23 - 2017-10-24), Vancouver, Canada

Downloads counter

141

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.