Gianluca Amato, Maria Chiara Meo, Francesca Scozzari. On the Need for a Common API for Abstract Domains of Object-Oriented Programs. In Henrique Rebêlo, editor, Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022. pages 15-17, ACM, 2022. [doi]
Abstract is missing.