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]

Authors

Jeff Smits

Identified as Jeff Smits

Eelco Visser

Identified as Eelco Visser