Non-null references by default in the Java Modeling Language

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005

Volumn , Issue , 2005, Pages

  Chalin, Patrice ^a   Rioux, Frédéric ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

Contracts; Java Modeling Language; JML; Nonnull references; Reference types

Indexed keywords

CONTRACTS; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATIONS;

INTERFACE SPECIFICATION; JAVA CODES; JAVA MODELING LANGUAGE; LANGUAGE DESIGN; MODULE INTERFACES; NONNULL REFERENCES; REFERENCE TYPES;

JAVA PROGRAMMING LANGUAGE;

EID: 84994155804     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1123058.1123068     Document Type: Conference Paper

References (18)

1. M. Barnett, K. R. M. Leino, and W. Schulte, "The Spec# Programming System: An Overview." in Proceedings of the International Workshop on the Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS 2004), Marseille, France, LNCS, vol. 3362, 2004.
2. D. Bonniot. The Nice programming language, http://nice.sourceforge.net/, June 2005.
3. D. Bonniot. Type safety in Nice: Why programs written in Nice have less bugs, http://nice.sourceforge.net/safety.html, June 2005.
4. L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. R. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll, "An overview of JML tools and applications," International Journal on Software Tools for Technology Transfer (STTT), 2004.
5. P. Chalin and F. Rioux, Non-null References by Default in the Java Modeling Language, Dependable Software Research Group, Concordia University, ENCS-CSE TR 2005-004. June, 2005.
6. D. Evans and D. Larochelle, "Improving security using extensible lightweight static analysis," IEEE Software, vol. 19, no. 1, pp. 42-51, Jan.-Feb., 2002.
7. M. Fähndrich and K. R. M. Leino, "Declaring and checking non-null types in an object-oriented language," in Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications. OOPSLA'03: ACM Press, 2003, pp. 302-312.
8. C. Flanagan and K. R. M. Leino, "Houdini, an Annotation Assistant for ESC/Java." In Proceedings of the International Symposium of Formal Methods Europe, Berlin, Germany, vol. 2021, pp. 500-517, 2001.
9. M. Fowler, Refactoring: Improving the Design of Existing Code. Object Technology Series. Addison-Wesley, 1999.
10. J. V. Guttag and J. J. Horning, Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993.
11. G. T. Leavens, A. L. Baker, and C. Ruby, "JML: A Notation for Detailed Design," in Behavioral Specifications of Businesses and Systems, B. R. Haim Kilov, Ian Simmonds, Ed.: Kluwer, 1999, pp. 175-188.
12. G. T. Leavens, K. R. M. Leino, E. Poll, C. Ruby, and B. Jacobs, "JML: notations and tools supporting detailed design in Java," in OOPSLA 2000 Companion, Minneapolis, Minnesota, 2000, pp. 105-106.
13. G. T. Leavens, A. L. Baker, and C. Ruby, Preliminary Design of JML: A Behavioral Interface Specification Language for Java, Department of Computer Science, Iowa State University TR #98-06-rev27. April, 2005.
14. G. T. Leavens, Y. Cheon, C. Clifton, C. Ruby, and D. R. Cok, "How the design of JML accommodates both runtime assertion checking and formal verification," Science of Computer Programming, vol. 55, no. 1-3, pp. 185-208, 2005.
15. B. Meyer, Eiffel: The Language. Object-Oriented Series. New York. Prentice-Hall, 1991.
16. B. Meyer, Eiffel: The Language, Draft of future edition, revision 5.00 (June 2005) ed. Unpublished, 2005.
17. A. D. Raghavan and G. T. Leavens, Desugaring JML Method Specifications, Department of Computer Science, Iowa State University TR #00-03e. May, 2005.
18. F. Rioux and P. Chalin, "Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study." In Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, Electronic Notes in Theoretical Computer Science, March 14-15, 2005 (to appear).