Späth, J., Ali, K., &; Bodden, E. (2019). Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, 3(POPL), 48:1-48:29.https://doi.org/10.1145/3290361 
LibreCat: /record/20539
DOI: 10.1145/3290361