Author:
Amato Gianluca,Parton Maurizio,Scozzari Francesca
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Amato, G., Parton, M., Scozzari, F.: Deriving numerical abstract domains via principal component analysis. To appear in Proc. Static Analysis Symposium (2010)
2. Anaya-Izquierdo, K., Critchley, F., Vines, K.: Orthogonal simple component analysis: a new, exploratory approach. To appear in the Annals of Applied Statistics (2010)
3. Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Science of Computer Programming 72(1-2), 3–21 (2008)
4. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proc. Int’l Symposium on Programming, pp. 106–130 (1976)
5. Cousot, P., Cousot, R.: Abstract interpretation and applications to logic programs. The Journal of Logic Programming 13(2-3), 103–179 (1992)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The ScalaFix Equation Solver;Formal Methods;2023
2. 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
3. On collecting semantics for program analysis;Theoretical Computer Science;2020-07
4. Experimental Evaluation of Numerical Domains for Inferring Ranges;Electronic Notes in Theoretical Computer Science;2018-04
5. Optimal multibinding unification for sharing and linearity analysis;Theory and Practice of Logic Programming;2013-08-09