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]
@article{SmitsWV20, title = {FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis}, author = {Jeff Smits and Guido Wachsmuth and Eelco Visser}, year = {2020}, doi = {10.1016/j.cola.2019.100924}, url = {https://doi.org/10.1016/j.cola.2019.100924}, researchr = {https://researchr.org/publication/SmitsWV20}, cites = {0}, citedby = {0}, journal = {Journal of Computer Languages}, volume = {57}, pages = {100924}, }