• On the Need for a Common API f...

Treffer: On the Need for a Common API for Abstract Domains of Object-Oriented Programs

Title:
On the Need for a Common API for Abstract Domains of Object-Oriented Programs
Authors:
Amato, Gianluca, Meo, Maria Chiara, Scozzari, Francesca
Source:
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. :15-17
Availability:
http://dl.acm.org/doi/10.1145/3611096.3611100
Database:
ACM Full-Text Collection