FlowSpec: Declarative Dataflow Analysis Specification
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.
Talk slides (sle17-flowspec.pdf) | 334KiB |
Tue 24 Oct Times are displayed in time zone: Tijuana, Baja California change
15:30 - 17:00: GPL/DSL implementationSLE at Regency B Chair(s): Eric Van WykUniversity of Minnesota, USA | |||
15:30 - 15:55 Talk | FlowSpec: Declarative Dataflow Analysis Specification SLE DOI File Attached | ||
15:55 - 16:20 Talk | Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages SLE Francesco Di GiacomoUniversità Ca' Foscari, Mohamed AbbadiHogeschool Rotterdam, Agostino CortesiUniversità Ca' Foscari Venezia, Pieter SpronckTilburg University, Giuseppe MaggioreHogeschool Rotterdam DOI | ||
16:20 - 16:45 Talk | Robust Programs with Filtered Iterators SLE DOI | ||
16:45 - 17:10 Talk | An Introduction to the Software Language Engineering Body of Knowledge SLE Vadim ZaytsevRaincode Labs, Belgium | ||
17:10 - 17:20 Talk | Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? SLE Rui PereiraHASLab/INESC TEC & Universidade do Minho, Marco CoutoHASLab/INESC TEC & Universidade do Minho, Francisco RibeiroHASLab/INESC TEC & Universidade do Minho, Rui RuaHASLab/INESC TEC & Universidade do Minho, Jácome CunhaNOVA-LINCS - Universidade Nova de Lisboa, João Paulo FernandesRelease/LISP, CISUC, João SaraivaUniversity of Minho, Portugal DOI Media Attached |