Low-Level Bi-Abduction.

Luks Holk, Petr Peringer, Adam Rogalewicz, Veronika Sokov, Toms Vojnar, Florian Zuleger

Browse the full ECOOP paper archive.