Späth, Johannes, Karim Ali, and Eric Bodden. “Context-, Flow-, and Field-Sensitive Data-Flow Analysis Using Synchronized Pushdown Systems.”https://doi.org/10.1145/3290361__Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3, no. POPL (2019): 48:1-48:29.https://doi.org/10.1145/3290361 .
LibreCat: /record/20539
DOI: 10.1145/3290361