Home > Publications > Publikationen

Publikationen

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

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

Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3(POPL): pp. 48:1--48:29, Jan 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 = {Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages},
volume = {3},
number = {POPL},
pages = {48:1--48:29},
month = jan,
year = {2019},
}

Copy bibTeX to clipboard

Permalink

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