"Garbage-Free Abstract Interpretation Through Abstract Reference Counting."

Noah Van Es, Quentin Stiévenart, Coen De Roover (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics