Contract soundness for object-oriented languages

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 36, Issue , 2001, Pages 1-15

  Findler, Robert Bruce ^a   Felleisen, Matthias ^a  

^a Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; RESPONSE TIME (COMPUTER SYSTEMS); SEMANTICS; THEOREM PROVING;

CONTRACT SOUNDNESS; SOFTWARE RELIABILITY;

OBJECT ORIENTED PROGRAMMING;

EID: 0035552056     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/504311.504283     Document Type: Conference Paper

References (23)

1. Designing an object-oriented programming language with behavioural subtyping
2. Parallelität und vererbung beim programmieren mit vertrag
3. Jass - Java with assertions
4. Adding contracts to Java with handshake
5. Behavioral contracts and behavioral subtyping
6. Classes and mixins
7. Contractor: A reflective Java library to support design by contract
8. iContract - The Java design by contract tool
9. JML: Notations and tools supporting detailed design in Java
10. Behavioral subtyping using invariants and constraints
11. A behavioral notion of subtyping
12. An overview of Anna, a specification language for Ada
13. Applying design by contract
14. A theory of type polymorphism in programming
15. A practical approach to programming with assertions
16. A syntactic approach to type soundness