jContractor: A reflective java library to support design by contract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1616, Issue , 1999, Pages 175-196

  Karaorman, Murat ^a,b   Hölzle, Urs ^b   Bruno, John ^b  

^a TEXAS INSTRUMENTS   (United States)

^b University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM COMPILERS; SPECIFICATIONS; SYNTACTICS;

CLASS INVARIANTS; CONTRACT SPECIFICATIONS; DESIGN BY CONTRACTS; EXCEPTION HANDLING; JAVA LIBRARY; JAVA REFLECTIONS; OBJECT REFERENCE; SUPPORT DESIGN;

JAVA PROGRAMMING LANGUAGE;

EID: 35048835875     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48443-4_18     Document Type: Conference Paper

References (10)

1. Andrew Duncan and Urs Hölzle. Adding Contracts to Java with Handshake. Technical Report TRC98-32, University of California, Santa Barbara, 1998.
2. C. A. R. Hoare. An Axiomatic Basis for Computer Programming. Communications of the ACM, 12(10), October 1969.
3. Murat Karaorman and John Bruno. Introducing Concurrency to a Sequential Language. Communications of the ACM. Vol. 36, No. 9, September 1993, pp. 103-116.
4. Reto Kramer. iContract-The Java Design by Contract Tool. Proc. of TOOLS '98, Santa Barbara, CA August 1998. Copyright IEEE 1998.
5. Ralph Keller and Urs Hölzle. Binary Component Adaptation. Proc. of ECOOP '98, Lecture Notes in Computer Science, Springer Verlag, July 1998.
6. Bertrand Meyer. Applying Design by Contract. In Computer IEEE, vol. 25, no. 10, October 1992, pages 40-51.
7. Bertrand Meyer: Eiffel: The Language, Prentice Hall, 1992.
8. Mike Mannion and Roy Phillips. Prevention is Better than a Cure. Java Report, Sept. 1998.
9. S. Porat and P. Fertig. Class Assertions in C++. Journal of Object Oriented Programming, 8(2): 30-37, May 1995.
10. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.