Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation

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]

Authors

Roberto Giacobazzi

This author has not been identified. Look up 'Roberto Giacobazzi' in Google

Isabella Mastroeni

This author has not been identified. Look up 'Isabella Mastroeni' in Google

Elia Perantoni

This author has not been identified. Look up 'Elia Perantoni' in Google