Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni. Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. ACM Transactions on Programming Languages and Systems, 46(2):5, June 2024. [doi]
@article{GiacobazziMP24,
title = {Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation},
author = {Roberto Giacobazzi and Isabella Mastroeni and Elia Perantoni},
year = {2024},
month = {June},
doi = {10.1145/3649309},
url = {https://doi.org/10.1145/3649309},
researchr = {https://researchr.org/publication/GiacobazziMP24},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {46},
number = {2},
pages = {5},
}