Johannes Späth, Karim Ali 0001, Eric Bodden
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems
POPL, 2019.
@article{POPL-2019-SpathAB,
author = "Johannes Späth and Karim Ali 0001 and Eric Bodden",
doi = "10.1145/3290361",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems}",
volume = 3,
year = 2019,
}