Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis.

Mamy Razafintsialonina, David Bhler, Antoine Min, Valentin Perrelle, Julien Signoles

Browse the full ECOOP paper archive.