Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis. - Mamy Razafintsialonina; David Bühler; Antoine Miné; Valentin Perrelle; Julien Signoles (ECOOP, 2025)

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis (Artifact). - Mamy Razafintsialonina; David Bühler; Valentin Perrelle (Dagstuhl Artifacts Ser., 2025)