Method assumptions in object-oriented programming

The paper discusses a programming assignment in a junior-level Programming Languages course whose main effect was to clarify the importance of explicitly stating method assumptions in object-orient...