Author:
Amato Gianluca,Di Nardo Di Maio Simone,Scozzari Francesca
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The ScalaFix Equation Solver;Formal Methods;2023
2. “Fixing” the Specification of Widenings;Intelligent Systems Reference Library;2023
3. On the Need for a Common API for Abstract Domains of Object-Oriented Programs;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07
4. The role of linearity in sharing analysis;Mathematical Structures in Computer Science;2022-01
5. Redesigning Soot's data-flow analysis framework for abstract interpretation;Companion Proceedings for the ISSTA/ECOOP 2018 Workshops;2018-07-16