Adding contracts to Java

Proceedings - Technology of Object-Oriented Languages and Systems, TOOLS 1998

Volumn , Issue , 1998, Pages 2-7

  Newmarch, Jan ^a  

^a UNIVERSITY OF CANBERRA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN BY CONTRACTS; MECHANISM-BASED;

EID: 0005575042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. B. Meyer, object-Oriented Software Construction Prentice-Hall, 1997
2. J. Gosling, Panel session at WWW7, Brisbane, 1998
3. R. Kramer, iContract - the Java Design by Contract Tool http://www.promigos.ch/kramer
4. http://www.cis.unisa.edu.au/~pizza
5. JDC Technical Tips, February 1998, http://developer.javasoft.com/developer/javaInDepth/TechTips/techtips7.html
6. J. E. Payne, M. A. Schatz and M. N. Schmid, Implementing Assertions for Java, Dr Dobbs Journal, January 1998
7. D. Green, The Reflection API, http://java.sun.com/docs/books/tutorial/reflect/index.html
8. The Java Compiler-Compiler. http://suntest.sun.com/JavaCC/