Benno Stein 0001, Bor-Yuh Evan Chang, Manu Sridharan. Interactive Abstract Interpretation with Demanded Summarization. ACM Transactions on Programming Languages and Systems, 46(1), March 2024. [doi]
@article{SteinCS24,
title = {Interactive Abstract Interpretation with Demanded Summarization},
author = {Benno Stein 0001 and Bor-Yuh Evan Chang and Manu Sridharan},
year = {2024},
month = {March},
doi = {10.1145/3648441},
url = {https://doi.org/10.1145/3648441},
researchr = {https://researchr.org/publication/SteinCS24},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {46},
number = {1},
}