Durica Nikolic, Fausto Spoto. Inferring complete initialization of arrays. Theoretical Computer Science, 484:16-40, 2013. [doi]
@article{NikolicS13,
title = {Inferring complete initialization of arrays},
author = {Durica Nikolic and Fausto Spoto},
year = {2013},
doi = {10.1016/j.tcs.2013.01.007},
url = {http://dx.doi.org/10.1016/j.tcs.2013.01.007},
researchr = {https://researchr.org/publication/NikolicS13},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {484},
pages = {16-40},
}