E. Bodden, “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them),”10.1145/3236454.3236500__in ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 2018, pp. 85–93, doi:10.1145/3236454.3236500 .
LibreCat: /record/20548
DOI: 10.1145/3236454.3236500