sle2017/paper03

SLE 2017 paper:
FlowSpec: Declarative Dataflow Analysis Specification

Jeff Smits, Eelco Visser

• DOI: 10.1145/3136014.3136029
• Original shorter version of FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis (SLE 2017 SI)
• T3C: DSLs
  • FlowSpec is a DSL for specifying dataflow analyses over programming languages.
• T1B: Static Semantics
  • Dataflow analyses are classic static-semantics analyses, and the DSL is for declaring such analyses.
• T3A: Meta-languages
  • It plays the role of a meta-language for describing analyses over language control-flow graphs.
• T4A: Workbenches
  • The work includes language-engineering infrastructure for defining CFGs and running the specified analyses.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.