Ondřej Lhoták, Stephen Curial, José Nelson Amaral. Using XBDDs and ZBDDs in points-to analysis. Software: Practice and Experience, 39(2):163-188, 2009. [doi]
@article{LhotakCA09,
title = {Using XBDDs and ZBDDs in points-to analysis},
author = {Ondřej Lhoták and Stephen Curial and José Nelson Amaral},
year = {2009},
doi = {10.1002/spe.895},
url = {http://dx.doi.org/10.1002/spe.895},
tags = {points-to analysis, analysis, source-to-source, peer-to-peer, open-source},
researchr = {https://researchr.org/publication/LhotakCA09},
cites = {0},
citedby = {0},
journal = {Software: Practice and Experience},
volume = {39},
number = {2},
pages = {163-188},
}