Contract Soundness for Object-Oriented Languages.

Robert Bruce Findler, Matthias Felleisen

Browse the full OOPSLA paper archive.