What is it about?
We discuss the need to define a common interface for abstract domains describing properties of objects in object-oriented programming languages.
Featured Image
Why is it important?
Having a common interface make it easier to combine different domain, compare their speed and precision, integrate domains in static analyzers developed by different research group.
Read the Original
This page is a summary of: On the Need for a Common API for Abstract Domains of Object-Oriented Programs, June 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3611096.3611100.
You can read the full text:
Contributors
The following have contributed to this page
