%0 Journal Article %1 journals/pacmpl/SpathAB19 %A Späth, Johannes %A Ali, Karim %A Bodden, Eric %D 2019 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 48:1-48:29 %T Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#SpathAB19 %V 3

@article{journals/pacmpl/SpathAB19, added-at = {2020-04-16T00:00:00.000+0200}, author = {Späth, Johannes and Ali, Karim and Bodden, Eric}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cf17596491866f24f4587464f9894b14/dblp}, ee = {https://doi.org/10.1145/3290361}, interhash = {c5727e55be46c5b69b6732bd957665d9}, intrahash = {cf17596491866f24f4587464f9894b14}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {48:1-48:29}, timestamp = {2020-04-20T12:42:14.000+0200}, title = {Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#SpathAB19}, volume = 3, year = 2019 }