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

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

Volumn , Issue , 2005, Pages 455-471

  Van Dooren, Marko ^a   Steegmans, Eric ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Anchored exception declaration; Cappuccino; Exception handling

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS; SEMANTICS;

CAPPUCCINO; EXCEPTION HANDLING;

ROBUSTNESS (CONTROL SYSTEMS);

EID: 31744448539     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1094811.1094847     Document Type: Conference Paper

References (56)

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. M. Allen and S. Horwitz. Slicing Java programs that throw and catch exceptions. In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, pages 44-54, New York, NY, USA, 2003. ACM Press.
3. M. Barnett, K. R. M. Leino, and W. Schulte. The Spec# programming system: An overview. In CASSIS 2004 proceedings, 2004.
4. P. A. Buhr and W. Y. R. Mok. Advanced exception handling mechanisms. IEEE Trans. Softw. Eng., 26(9):820-836, 2000.
5. B.-M. Chang, J. Jo, K. Yi, and K. Choe. Interprocedural exception analysis for Java. In Proceedings of the 16th ACM Symposium on Applied Computing, March 2001.
6. R. Chatterjee, B. G. Ryder, and W. A. Landi. Complexity of points-to analysis of Java in the presence of exceptions. IEEE Trans. Softw. Eng., 27(6):481-512, 2001.
7. J.-D. Choi, D. Grove, M. Hind, and V. Sarkar. Efficient and precise modeling of exceptions for the analysis of Java programs. In PASTE '99: Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 21-31, New York, NY, USA, 1999. ACM Press.
8. C. Dony. Exception handling and object-oriented programming: towards a synthesis. In Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, pages 322-330. ACM Press, 1990.
9. ECMA Technical Committee 39 (TC39) Task Group 2 (TG2). C# Language Specification. ECMA, 2 edition, December 2002.
10. M. Fähndrich and A. Aiken. Program analysis using mixed term and set constraints. In SAS '97: Proceedings of the 4th International Symposium on Static Analysis, pages 114-126, London, UK, 1997. Springer-Verlag.
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. M. Fähndrich, J. S. Foster, A. Aiken, and J. Cu. Tracking Down Exceptions in Standard ML. Technical Report UCB//CSD-98-996, University of California, Berkeley, Feb. 1998.
13. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 171-183. ACM Press, 1998.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., 1995.
15. A. F. Garcia, C. M. F. Rubira, A. Romanovsky, and J. Xu. A comparative study of exception handling mechanisms for building dependable object-oriented software. The Journal of Systems and Software, 59(2): 197-222, 2001.
16. K. Glynn, P. J. Stuckey, M. Sulzmann, and H. Søndergaard. Exception analysis for non-strict languages. In ICFP '02: Proceedings of the seventh ACM SIGPLAN International conference on Functional programming, pages 98-109, New York, NY, USA, 2002. ACM Press.
17. J. B. Goodenough. Exception handling: issues and a proposed notation. Commun. ACM, 18(12):683-696, 1975.
18. J. Gosling et al. The Java Language Specification, Second Edition. Addison-Wesley Longman Publishing Co., Inc., 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. R. Helm, I. M. Holland, and D. Gangopadhyay. Contracts: specifying behavioral compositions in object-oriented systems. In Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, pages 169-180. ACM Press, 1990.
22. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 23(3):396-450, 2001.
23. B. Jacobs. A formalisation of Java's exception mechanism. In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems, pages 284-301. Springer-Verlag, 2001.
24. J. Jo, B.-M. Chang, K. Yi, and K.-M. Choe. An uncaught exception analysis for Java. Journal of Systems and Software, 72(1):59-69, 2004.
25. S. P. Jones, A. Reid, F. Henderson, T. Hoare, and S. Marlow. A semantics for imprecise exceptions. In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, pages 25-36, New York, NY, USA, 1999. ACM Press.
26. J. Lamping. Typing the specialization interface. In Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, pages 201-214. ACM Press, 1993.
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. R. M. Leino and W. Schulte. Exception safety for C#. In J. Cuellar and Z. Liu, editors, Proceedings, Software Engineering and Formal Methods (SEFM), Beijing, China. IEEE Press, 2004.
29. M. Lippert and C. Lopes. A study on exception detection and handling using aspect-oriented programming. Technical report, Xerox PARC, 1999.
30. B. Liskov. Abstraction and specification in program development. MIT Press, 1986.
31. B. Liskov and J. Wing. Family values: A behavioral notion of subtyping. Technical Report MIT/LCS/TR-562b, 1993.
32. B. Meyer. Object-oriented software construction (2nd ed.). Prentice-Hall, Inc., 1997.
33. B. Meyer. Overloading vs. object technology. Journal of Object-Oriented Programming, October 2001.
34. A. Mikhailova and A. Romanovsky. Supporting evolution of interface exceptions. In Advances in exception handling techniques, pages 94-110. Springer-Verlag New York, Inc., 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. D. L. Parnas. On the criteria to be used in decomposing systems into modules. In Software pioneers: contributions to software engineering, pages 411-427. Springer-Verlag New York, Inc., 2002.
37. F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Symposium on Principles of Programming Languages, pages 276-290, 1999.
38. B. Potter, J. Sinclair, and D. Till. An introduction to formal specification and Z. Prentice-Hall, Inc., 1991.
39. M. P. Robillard and G. C. Murphy. Analyzing exception flow in Java programs. In Software Engineering - ESECIFSE'99, volume 1687 of Lecture Notes in Computer Science, pages 322-337. Springer-Verlag, September 1999.
40. M. P. Robillard and G. C. Murphy. Designing robust Java programs with exceptions. In Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, pages 2-10. ACM Press, 2000.
41. M. P. Robillard and G. 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.
42. A. Romanovsky and B. Sandén. Except for exception handling ....Ada Lett., XXI(3): 19-25, 2001.
43. B. G. Ryder, D. Smith, U. Kremer, M. Gordon, and N. Shah. A static study of Java exceptions using JESP. In Computational Complexity, pages 67-81, 2000.
44. S. Ryu and K. Yi. Exception analysis for multithreaded Java programs. In APAQS '01: Proceedings of the Second Asia-Pacific Conference on Quality Software, page 23, Washington, DC, USA, 2001. IEEE Computer Society.
45. C. F. Schaefer and G. N. Bundy. Static analysis of exception handling in Ada. Softw., Pract. Exper., 23(10): 1157-1174, 1993.
46. S. Sinha and M. J. Harrold. Analysis of programs with exception-handling constructs. In ICSM '98: Proceedings of the International Conference on Software Maintenance, page 348, Washington, DC, USA, 1998. IEEE Computer Society.
47. N. Smeets and M. van Dooren. Jnome, 2004. http://www.jnome.org.
48. P. Steyaert, C. Lucas, K. Mens, and T. D'Hondt. Reuse contracts: managing the evolution of reusable assets. In Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 268-285. ACM Press, 1996.
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. G. van Rossum. Python reference manual. Report CS-R9525, Apr. 1995.
51. W. Winston. Operations Research: Applications and Algorithms. Duxbury, 2003.
52. S. Yemini and D. M. Berry. A modular verifiable exception handling mechanism. ACM Trans. Program. Lang. Syst., 7(2):214-243, 1985.
53. S. Yemini and D. M. Berry. An axiomatic treatment of exception handling in an expression-oriented language. ACM Trans. Program. Lang. Syst., 9(3):390-407, 1987.
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. K. Yi. An abstract interpretation for estimating uncaught exceptions in standard ML programs. Science of Computer Programming, 31(1):147-173, 1998. (invited paper).
56. K. Yi and S. Ryu. Towards a cost-effective estimation of uncaught exceptions in SML programs. In Proceedings of the Annual International Static Analysis Symposium, volume 1302 of Lecture Notes in Computer Science, pages 98-113, Paris, France, September 1997.