Noah Van Es, Quentin Stiévenart, Coen De Roover. Garbage-Free Abstract Interpretation Through Abstract Reference Counting. In Alastair F. Donaldson, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Volume 134 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Abstract is missing.