Mathias Rud Laursen Wenyuan Xu 0007 Anders Møller Reducing Static Analysis Unsoundness with Approximate Interpretation. 1165-1188 2024 8 Proc. ACM Program. Lang. PLDI https://doi.org/10.1145/3656424 https://www.wikidata.org/entity/Q131114473 db/journals/pacmpl/pacmpl8.html#LaursenXM24 streams/journals/pacmpl