Object Invariants in Dynamic Contexts.

K. Rustan M. Leino, Peter Mller

Browse the full ECOOP paper archive.