Design your analysis: a case study on implementation reusability of data-flow functions
J. Lerch, B. Hermann, in: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015, ACM Press, 2015.