Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic. Abstract extensionality: on the properties of incomplete abstract interpretations. Proceedings of the ACM on Programming Languages, 4(POPL), 2020. [doi]
Abstract is missing.