Proof-Theoretic Semantics of Object-Oriented Specification Constructs.

Jos Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake

Browse the full DS paper archive.