![](/img/cover-not-exists.png)
Abstract extensionality: on the properties of incomplete abstract interpretations
Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Garcia-Contreras, Isabel, Pavlovic, DuskoVolume:
4
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3371096
Date:
December, 2019
File:
PDF, 448 KB
2019