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]
@inproceedings{AmatoMS22-0,
title = {On the Need for a Common API for Abstract Domains of Object-Oriented Programs},
author = {Gianluca Amato and Maria Chiara Meo and Francesca Scozzari},
year = {2022},
doi = {10.1145/3611096.3611100},
url = {https://doi.org/10.1145/3611096.3611100},
researchr = {https://researchr.org/publication/AmatoMS22-0},
cites = {0},
citedby = {0},
pages = {15-17},
booktitle = {Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
editor = {Henrique Rebêlo},
publisher = {ACM},
}