The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State.

Sven Keidel, Raphal Monat, Sebastian Erdweg

Browse the full ECOOP paper archive.