Practical exception specifications

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

Volumn 4119 LNCS, Issue , 2006, Pages 200-220

  Malayeri, Donna ^a   Aldrich, Jonathan ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

CONTROL FLOWS; CURRENT SYSTEMS; EXCEPTION HANDLERS; EXCEPTION HANDLING;

CONTROL SYSTEMS;

EID: 41149102840     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11818502_11     Document Type: Conference Paper

References (26)

1. Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte. The Spec# programming system. In Cassis International Workshop, Ed. Marieke Huisman, 2004.
2. Joshua Bloch. Effective Java. Addison-Wesley Professional, 2001.
3. Christophe Dony. A fully object-oriented exception handling system: rationale and Smalltalk implementation. In Advances in exception handling techniques, pages 18-38, New York, NY, USA, 2001. Springer-Verlag New York, Inc.
4. Bruce Eckel. Thinking in Java, 3rd edition. Prentice-Hall PTR, December 2002.
5. C. Flanagan, K. Leino, M. Lillibridge, C. Nelson, J. Saxe, and R. Stata. Extended static checking for Java. In Proceedings of PLDI2002, 2002.
6. Chen Fu, Ana Milanova, Barbara Ryder, and David Wonnacott. Robustness testing of Java server applications. In IEEE Transactions on Software Engineering, pages 292-312, April 2005.
7. Alessandro F. Garcia, Cecilia M. F. Rubira, Alexander B. Romanovsky, and Jie Xu. A comparative study of exception handling mechanisms for building dependable object-oriented software. Journal of Systems and Software, 59(2): 197-222, 2001.
8. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. Java(TM) Language Specification, The (3rd Edition) (Java Series). Addison-Wesley Professional, July 2005.
9. Christian Grothoff, Jens Palsberg, and Jan Vitek. Encapsulating objects with confined types. In Proceedings of the 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '01), pages 241-255. ACM Press, 2001.
10. Anson Horton. Why doesn't C# have exception specifications? Available at http://msdn.microsoft.com/vcsharp/team/language/ask/exceptionspecs.
11. Jangwoo Jo, Byeong-Mo Chang, Kwangkeun Yi, and Kwang-Moo Choe. An uncaught exception analysis for Java. Journal of Systems and Software, 2004.
12. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming, pages 327-353, London, UK, 2001. Springer-Verlag.
13. Joseph R. Kiniry. Exceptions in Java and Eiffel: Two extremes in exception design and application. In Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems, 2003.
14. Jorgen Lindskov Knudsen. Fault tolerance and exception handling in BETA. In Advances in exception handling techniques, pages 1-1.7, New York, NY, USA, 2001. Springer-Verlag New York, Inc.
15. K. Rustan M. Leino and Wolfram Schulte. Exception safety for C#. In SEFM, pages 218-227. IEEE Computer Society, 2004.
16. Martin Lippert and Cristina Videira Lopes. A study on exception detecton and handling using aspect-oriented programming. In Proceedings of the 22nd International Conference on Software Engineering (ICSE '00), pages 418-427. ACM Press, 2000.
17. John D. Litke. A systematic approach for implementing fault tolerant software designs in Ada. In Proceedings of the conference on TRI-ADA '90, pages 403-408. ACM Press, 1990.
18. Robert Miller and Anand Tripathi. Issues with exception handling in object-oriented systems. In ECOOP, pages 85-103, 1997.
19. Darell Reimer and Harini Srinivasan. Analyzing exception usage in large Java applications. In Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems, 2003.
20. Martin P. Robillard, May 2005. Personal communication.
21. Martin P. Robillard and Gail C. Murphy. Designing robust Java programs with exceptions. In Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE '00), pages 2-10. ACM Press, 2000.
22. Martin P. Robillard and Gail C. Murphy. Static analysis to support the evolution of exception structure in object-oriented systems. ACM Trans. Softw. Eng. Methodol., 12(2): 191-221, 2003.
23. Saurabh Sinha, Alessandro Orso, and Mary Jean Harrold. Automated support for development, maintenance, and testing in the presence of implicit control flow. In Proceedings of the 26th International Conference on Software Engineering (ICSE '04), pages 336-345. IEEE Computer Society, 2004.
24. Bill Venners. Interface Design: Best Practices in Object-Oriented API Design in Java. Available at http://www.artima.com/interfacedesign, 2001.
25. Bill Venners. Failure and exceptions: a conversation with James Gosling, Part II. Available at http://www.artima.com/intv/solid.html, September 2003.
26. Bill Venners and Bruce Eckel. The trouble with checked exceptions: A conversation with Anders Hejlsberg, Part II. Available at http://www.arti.ma. com/intv/handcuffs.html, August 2003.