Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration.

Florian Sextl, Adam Rogalewicz, Toms Vojnar, Florian Zuleger

Browse the full ESOP paper archive.