Towards Modular Reasoning for Context-Oriented Programs.

Tomoyuki Aotani, Gary T. Leavens

Browse the full ECOOP paper archive.