Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness.

Pedro Carrott, Sacha-lie Ayoun, Azalea Raad

Browse the full ECOOP paper archive.