Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations

ABSTRACT

Ever since their invention 30 years ago, checked exceptions have been a point of much discussion. On the one hand, they increase the robustness of software by preventing the manifestation of unanticipated checked exceptions at run-time. On the other hand, they decrease the adaptability of software because they must be propagated explicitly, and must often be handled even if they cannot be signalled.We show that the problems with checked exceptions are caused by a lack of expressiveness of the exceptional return type of a method, which currently dictates a copy & paste style. We add the required expressiveness by introducing anchored exception declarations, which allow the exceptional behavior of a method to be declared relative to that of others. We present the formal semantics of anchored exception declarations, along with the necessary rules for ensuring compile-time safety, and give a proof of soundness. We show that anchored exception declarations do not violate the principle of information hiding when used properly, and provide a guideline for when to use them.We have implemented anchored exception declarations in Cappuccino, which is an extension to the ClassicJava programming language.

REFERENCES

• 1: J. Aldrich and K. Donnelly. Selective open recursion: Modular reasoning about components and inheritance. In Proc. FSE 2004 Workshop on Specification and Verification of Component-Based Systems.
• 2: Matthew Allen , Susan Horwitz, Slicing java programs that throw and catch exceptions, Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, p.44-54, June 07-07, 2003, San Diego, California, USA
• 3: M. Barnett, K. R. M. Leino, and W. Schulte. The Spec# programming system: An overview. In CASSIS 2004 proceedings, 2004.
• 4: Peter A. Buhr , W. Y. Russell Mok, Advanced Exception Handling Mechanisms, IEEE Transactions on Software Engineering, v.26 n.9, p.820-836, September 2000 [doi>10.1109/32.877844]
• 5: Byeong-Mo Chang , Jang-Wu Jo , Kwangkeun Yi , Kwang-Moo Choe, Interprocedural exception analysis for Java, Proceedings of the 2001 ACM symposium on Applied computing, p.620-625, March 2001, Las Vegas, Nevada, United States [doi>10.1145/372202.372786]
• 6: Ramkrishna Chatterjee , Barbara G. Ryder , William A. Landi, Complexity of Points-To Analysis of Java in the Presence of Exceptions, IEEE Transactions on Software Engineering, v.27 n.6, p.481-512, June 2001 [doi>10.1109/32.926173]
• 7: Jong-Deok Choi , David Grove , Michael Hind , Vivek Sarkar, Efficient and precise modeling of exceptions for the analysis of Java programs, Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.21-31, September 06-06, 1999, Toulouse, France
• 8: Christophe Dony, Exception handling and object-oriented programming: towards a synthesis, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.322-330, September 1990, Ottawa, Canada
• 9: ECMA Technical Committee 39 (TC39) Task Group 2 (TG2). C# Language Specification. ECMA, 2 edition, December 2002.
• 10: Manuel Fähndrich , Alexander Aiken, Program Analysis Using Mixed Term and Set Constraints, Proceedings of the 4th International Symposium on Static Analysis, p.114-126, September 08-10, 1997
• 11: M. Fähndrich and A. Aiken. Refined type inference for ML. In Proceedings of the 1st Workshop on Types in Compilation, June 1997.
• 12: Manuel Fahndrich , Jeffrey Foster , Jason Cu , Alexander Aiken, Tracking down Exceptions in Standard ML Programs, University of California at Berkeley, Berkeley, CA, 1998
• 13: Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 19-21, 1998, San Diego, California, United States [doi>10.1145/268946.268961]
• 14: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 15: Alessandro F. Garcia , Cecília M.F. Rubira , Alexander Romanovsky , Jie Xu, A Comparitive study of exception handling mechanisms for building dependable object-oriented software, Journal of Systems and Software, v.59 n.2, p.197-222, November 15, 2001 [doi>10.1016/S0164-1212(01)00062-0]
• 16: Kevin Glynn , Peter J. Stuckey , Martin Sulzmann , Harald Søndergaard, Exception analysis for non-strict languages, Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, p.98-109, October 04-06, 2002, Pittsburgh, PA, USA
• 17: John B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, v.18 n.12, p.683-696, Dec. 1975 [doi>10.1145/361227.361230]
• 18: James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java Language Specification, Second Edition: The Java Series, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 19: J. Guzmán and A. Suárez. An Extended Type System for Exceptions. In Record of the fifth ACM SIGPLAN workshop on ML and its Applications, June 1994. Also appears as Research Report 2265, INRIA, BP 105 - 78153 Le Chesnay Cedex, France.
• 20: A. Hejlsberg. The trouble with checked exceptions. http://www.artima.com/intv/handcuffs.html.
• 21: Richard Helm , Ian M. Holland , Dipayan Gangopadhyay, Contracts: specifying behavioral compositions in object-oriented systems, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.169-180, September 1990, Ottawa, Canada
• 22: Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.3, p.396-450, May 2001 [doi>10.1145/503502.503505]
• 23: Bart Jacobs, A Formalisation of Java's Exception Mechanism, Proceedings of the 10th European Symposium on Programming Languages and Systems, p.284-301, April 02-06, 2001
• 24: Jang-Wu Jo , Byeong-Mo Chang , Kwangkeun Yi , Kwang-Moo Choe, An uncaught exception analysis for Java, Journal of Systems and Software, v.72 n.1, p.59-69, June 2004 [doi>10.1016/S0164-1212(03)00057-8]
• 25: Simon Peyton Jones , Alastair Reid , Fergus Henderson , Tony Hoare , Simon Marlow, A semantics for imprecise exceptions, Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, p.25-36, May 01-04, 1999, Atlanta, Georgia, United States
• 26: John Lamping, Typing the specialization interface, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.201-214, September 26-October 01, 1993, Washington, D.C., United States
• 27: G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06i, 2000.
• 28: K. Rustan M. Leino , Wolfram Schulte, Exception Safety for C#, Proceedings of the Software Engineering and Formal Methods, Second International Conference on (SEFM'04), p.218-227, September 28-30, 2004 [doi>10.1109/SEFM.2004.14]
• 29: M. Lippert and C. Lopes. A study on exception detection and handling using aspect-oriented programming. Technical report, Xerox PARC, 1999.
• 30: Barbara Liskov, Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986
• 31: B. Liskov , J. Wing, FAMILY VALUES: A BEHAVIORAL NOTION OF SUBTYPING, Massachusetts Institute of Technology, Cambridge, MA, 1993
• 32: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 33: B. Meyer. Overloading vs. object technology. Journal of Object-Oriented Programming, October 2001.
• 34: Anna Mikhailova , Alexander Romanovsky, Supporting evolution of interface exceptions, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
• 35: R. Miller and A. Tripathi. Issues with exception handling in object-oriented systems. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '97), volume 1241 of LNCS, page 85, Jyväskylä, Finland, June 1997. Springer.
• 36: David L. Parnas, On the criteria to be used in decomposing systems into modules, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
• 37: François Pessaux , Xavier Leroy, Type-based analysis of uncaught exceptions, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.276-290, January 20-22, 1999, San Antonio, Texas, United States [doi>10.1145/292540.292565]
• 38: Ben Potter , Jane Sinclair , David Till, An introduction to formal specification and Z, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 39: Martin P. Robillard , Gail C. Murphy, Analyzing exception flow in Java programs, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.322-337, September 06-10, 1999, Toulouse, France
• 40: Martin P. Robillard , Gail C. Murphy, Designing robust Java programs with exceptions, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, p.2-10, November 06-10, 2000, San Diego, California, United States
• 41: Martin P. Robillard , Gail C. Murphy, Static analysis to support the evolution of exception structure in object-oriented systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.2, p.191-221, April 2003 [doi>10.1145/941566.941569]
• 42: Alexander Romanovsky , Bo Sandén, Except for exception handling …, ACM SIGAda Ada Letters, v.XXI n.3, September 2001 [doi>10.1145/568671.568678]
• 43: Barbara G. Ryder , Donald Smith , Ulrich Kremer , Michael Gordon , Nirav Shah, A Static Study of Java Exceptions Using JESP, Proceedings of the 9th International Conference on Compiler Construction, p.67-81, March 25-April 02, 2000
• 44: S. Ryu , K. Yi, Exception Analysis for Multithreaded Java Programs, Proceedings of the Second Asia-Pacific Conference on Quality Software, p.23, December 10-11, 2001
• 45: Carl F. Schaefer , Gary N. Bundy, Static analysis of exception handling in Ada, Software—Practice & Experience, v.23 n.10, p.1157-1174, Oct. 1993 [doi>10.1002/spe.4380231007]
• 46: S. Sinha , M. J. Harrold, Analysis of Programs with Exception-Handling Constructs, Proceedings of the International Conference on Software Maintenance, p.348, March 16-19, 1998
• 47: N. Smeets and M. van Dooren. Jnome, 2004. http://www.jnome.org.
• 48: Patrick Steyaert , Carine Lucas , Kim Mens , Theo D'Hondt, Reuse contracts: managing the evolution of reusable assets, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.268-285, October 06-10, 1996, San Jose, California, United States
• 49: M. van Dooren and E. Steegmans. Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations. Technical Report CW 407, Katholieke Universiteit Leuven, March 2005.
• 50: Guido Rossum, Python reference manual, CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1995
• 51: W. Winston. Operations Research: Applications and Algorithms. Duxbury, 2003.
• 52: Shaula Yemini , Daniel M. Berry, A modular verifiable exception handling mechanism, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.214-243, April 1985 [doi>10.1145/3318.3320]
• 53: Shaula Yemini , Daniel M. Berry, An axiomatic treatment of exception handling in an expression-oriented language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.390-407, July 1987 [doi>10.1145/24039.24052]
• 54: K. Yi. Compile-time detection of uncaught exceptions in standard ML programs. In The 1st International Static Analysis Symposium, volume 864 of Lecture Notes in Computer Science, pages 238--254, Namur, September 1994.
• 55: Kwangkeun Yi, An abstract interpretation for estimating uncaught exceptions in standard ML programs, Science of Computer Programming, v.31 n.1, p.147-173, May 1998 [doi>10.1016/S0167-6423(96)00044-5]
• 56: Kwangkeun Yi , Sukyoung Ryu, Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs, Proceedings of the 4th International Symposium on Static Analysis, p.98-113, September 08-10, 1997

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Error handling and recovery
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Semantics

General Terms:
Languages, Reliability, Theory, Verification

Keywords:
Cappuccino, anchored exception declaration, exception handling