Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. TPLP, 21(2):196-243, 2021. [doi]
@article{Garcia-Contreras21,
title = {Incremental and Modular Context-sensitive Analysis},
author = {Isabel Garcia-Contreras and José F. Morales 0001 and Manuel V. Hermenegildo},
year = {2021},
doi = {10.1017/S1471068420000496},
url = {https://doi.org/10.1017/S1471068420000496},
researchr = {https://researchr.org/publication/Garcia-Contreras21},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {21},
number = {2},
pages = {196-243},
}