Home > Publications > Publikationen

Publikationen

Späth, Johannes;Ali, Karim;Bodden, Eric:

Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems.

Proc. ACM Program. Lang. 3(POPL): pp. 48:1--48:29, 2019

Weblink

http://www.bodden.de/pubs/sab19context.pdf

Bibtex

@article{key=popl19spds,
author = {Sp{\"a}th, Johannes and Ali, Karim and Bodden, Eric},
title = {Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems},
journal = {Proc. ACM Program. Lang.},
volume = {3},
number = {POPL},
pages = {48:1--48:29},
year = {2019},
}

Copy bibTeX to clipboard

Permalink

https://www.hni.uni-paderborn.de/pub/9843