@articleSpäth_Ali_Bodden_2019, title=Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems, volume=3, DOI=10.1145/3290361, number=POPL, journal=Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, publisher=ACM, author=Späth, Johannes and Ali, Karim and Bodden, Eric, year=2019, pages=48:1-48:29 
LibreCat: /record/20539
DOI: 10.1145/3290361