@inproceedings{DBLP:conf/popl/LhotakC11,
author = {Ondrej Lhot{\'{a}}k and
Kwok{-}Chiang Andrew Chung},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Points-to analysis with efficient strong updates},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {3--16},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926389},
doi = {10.1145/1926385.1926389},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/popl/LhotakC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}