Behavioral contracts and behavioral subtyping

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2001, Pages 229-236

  Findler, Robert Bruce ^a   Latendresse, Mario ^a   Felleisen, Matthias ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACTS; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

SOFTWARE MANUFACTURING;

SOFTWARE ENGINEERING;

EID: 0035783968     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503271.503240     Document Type: Conference Paper

References (26)

1. America, P. Designing an object-oriented programming language with behavioural subtyping. In Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May/June 1990, Lecture Notes in Computer Science, pages 60-90. Springer-Verlag, 1991.
2. Beugnard, A., J.-M. Jézéquel, N. Plouzeau and D. Watkins. Making components contract aware. In IEEE Software, pages 38-45, june 1999.
3. Detlefs, D.L., K. Rustan, M. Leino, G. Nelson and J.B. Saxe. Extended static checking. Technical Report 158, Compaq SRC Research Report, 1998.
4. Dhara, K.K. and G.T. Leavens. Forcing behavioral subtyping through specification inheritance. In Proceedings 18th International Conference on Software Engineering, pages 258-267. IEEE, 1996. Berlin, Germany.
5. Duncan, A. and U. Hölze. Adding contracts to Java with handshake. Technical Report TRCS98-32, The University of California at Santa Barbara, December 1998.
6. Edwards, S., G. Shakir, M. Sitaraman, B. Weide and J. Hollingsworth. A framework for detecting interface violations in component-based software,. In Proceedings 5th International Conference on Software Reuse, pages 46-55. IEEE, June 1998.
7. Findler, R.B. and M. Felleisen. Contract soundness for object-oriented languages. In Object-Oriented Programming, Systems, Languages, and Applications, 2001.
8. Gamma, E., R. Helm, R. Johnson and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Massachusetts, 1994.
9. Gomes, B., D. Stoutamire, B. Vaysman and H. Klawitter. A Language Manual for Sather 1.1, August 1996.
10. Gosling, J., B. Joy and G. Steele. The Java(tm) Language Specification. Addison-Wesley, 1996.
11. Holt, R.C. and J.R. Cordy. The Turing programming language. In Communications of the ACM, volume 31, pages 1310-1423, December 1988.
12. Karaorman, M., U. Hölzle and J. Bruno. jContractor: A reflective Java library to support design by contract. In Proceedings of Meta-Level Architectures and Reflection, volume 1616 of lncs, July 1999.
13. Kölling, M. and J. Rosenberg. Blue: Language Specification, version 0.94, 1997.
14. Kramer, R. iContract - the Java design by contract tool. In Technology of Object-Oriented Languages and Systems, 1998.
15. Liskov, B.H. and J. Wing. Behavioral subtyping using invariants and constraints. Technical Report CMU CS-99-156, School of Computer Science, Carnegie Mellon University, July 1999.
16. Liskov, B.H. and J.M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, November 1994.
17. Luckham, D.C. and F. von Henke. An overview of Anna, a specification language for Ada. In IEEE Software, volume 2, pages 9-23, March 1985.
18. Man Machine Systems. Design by contract for Java using jmsassert. http://www.mmsindia.com/DBCForJava.html, 2000.
19. McIlroy, M.D. Mass produced software components. In Naur, P. and B. Randell, editors, Report on a Conference of the NATO Science Committee, pages 138-150, 1968.
20. Meyer, B. Object-oriented Software Construction. Prentice Hall, 1988.
21. Meyer, B. Eiffel: The Language. Prentice Hall, 1992.
22. Milner, R. A theory of type polymorphism in programming. Journal of Computer Systems Science, 17:348-375, 1978.
23. Parnas, D.L. A technique for software module specification with examples. Communications of the ACM, 15(5):330-336, May 1972.
24. Plösch, R. and J. Pichler. Contracts: From analysis to C++ implementation. In Technology of Object-Oriented Languages and Systems, pages 248-257, 1999.
25. Rosenblum, D.S. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1):19-31, Janurary 1995.
26. Szyperski, C. Component Software. Addison-Wesley, 1998.