Validity Invariants and Effects.

Yi Lu, John Potter, Jingling Xue

Browse the full ECOOP paper archive.