Related Work

Books

  • Object-Oriented Software Construction(2nd Edition) by Bertrand Meyer .
  • Design by Contract by Example by Richard Mitchell and Jim McKim
  • The Science of Programming (Texts and Monographs in Computer Science) by D. Gries

Papers

  • Contract Soundness for Object-Oriented Languages. Findler and Felleisen (OOPSLA 01) (link)
  • Behavioral Contracts and Behavioral Subtyping. FSE 2001 Findler, Latendresse, Felleisen. (link)
  • Building bug-free O-O software: An introduction to Design by Contract(TM) (link)
  • Jass - Java with Assertions Bartetzko, Fischer, Moller and Wehrheim (link)
  • Adding Contracts to Java with Handshake Duncan, Holzle (link)
  • iContract - The Java(tm) Design by Contract(tm) Tool Kramer (link)
  • A Behavioral Notion of Subtyping Liskov and Wing (link)
  • Pipa: A Behavioral Interface Specification Language for AspectJ Zhao and Rinard (link)
  • Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy, Clifton and Leavens. (link)