Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Jeff Smits, Guido Wachsmuth, Eelco Visser. FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis. Journal of Computer Languages, 57:100924, 2020. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: FlowSpec: declarative dataflow analysis specificationJeff Smits, Eelco Visser. SLE 2017: 221-231 [doi] Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite RulesKarina Olmos, Eelco Visser. CC 2005: 204-220 [doi]
The following publications are possibly variants of this publication: