Conditional effects in fine-grained region logic.

Yuyan Bao, Gary T. Leavens, Gidon Ernst

Browse the full ECOOP paper archive.