DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis.

Milla Valnet, Raphal Monat, Antoine Min

Browse the full ECOOP paper archive.