Publisher
Springer International Publishing
Reference23 articles.
1. Aho, A.V., Sethi, R., Ullman, J.: Compilers: Principles, Techniques and Tools, 1st edn. Addison Wesley, Boston (1986)
2. Amato, G., Di Nardo Di Maio, S., Scozzari, F.: Numerical static analysis with Soot. In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2013. ACM, New York (2013). https://doi.org/10.1145/2487568.2487571
3. Lecture Notes in Computer Science;G Amato,2010
4. Amato, G., Scozzari, F.: Optimality in goal-dependent analysis of sharing. Theory Pract. Logic Program. 9(5), 617–689 (2009). https://doi.org/10.1017/S1471068409990111
5. Amato, G., Scozzari, F.: Observational completeness on abstract interpretation. Fund. Inform. 106(2–4), 149–173 (2011). https://doi.org/10.3233/FI-2011-381