Predicate Analysis with Block-Abstraction Memoization.

Daniel Wonisch, Heike Wehrheim

Browse the full ICFEM paper archive.