History of Abstract Interpretation

Roberto Giacobazzi, Francesco Ranzato. History of Abstract Interpretation. IEEE Annals of the History of Computing, 44(2):33-43, 2022. [doi]

Abstract

Abstract is missing.