Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation

Aleksandar S. Dimovski, Sven Apel. Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. In Anders Møller, Manu Sridharan, editors, 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). Volume 194 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.