FlowSpec: declarative dataflow analysis specification

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]

@inproceedings{SmitsV17,
  title = {{FlowSpec}: declarative dataflow analysis specification},
  author = {Jeff Smits and Eelco Visser},
  year = {2017},
  doi = {http://doi.acm.org/10.1145/3136014.3136029},
  researchr = {https://researchr.org/publication/SmitsV17},
  cites = {0},
  citedby = {0},
  pages = {221-231},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  editor = {Benoît Combemale and Marjan Mernik and Bernhard Rumpe},
  publisher = {ACM},
  isbn = {978-1-4503-5525-4},
}