FlowSpec: declarative dataflow analysis specification - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jeff Smits, Eelco Visser. FlowSpec: declarative dataflow analysis specification. In Benoît Combemale, Marjan Mernik, Bernhard Rumpe, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017. pages 221-231, ACM, 2017. [doi]

The following is a more recent and up-to-date version of this publication:

FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow AnalysisJeff Smits, Guido Wachsmuth, Eelco Visser. JCL (JVLC), 57:100924, 2020. [doi]

The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.

The Static Semantics of the Green-Marl Graph Analysis Language: Formal Specification, Declarative Implementation and Integration with a Compiler Back-endJeff Smits. Master's thesis, Delft University of Technology, 2 2016.

runs on WebDSL