J. Lerch and B. Hermann, “Design your analysis: a case study on implementation reusability of data-flow functions,” in Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015, 2015.
LibreCat: /record/5730
DOI: 10.1145/2771284.2771289