Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
Data-Oriented Exception Handling
IEEE Transactions on Software Engineering
Exception handling in large Ada systems
WADAS '91 Proceedings of the eighth annual Washington Ada symposium & summer SIGAda meeting on Ada: software: foundation for competitveness
Observations on program-wide Ada exception propagation
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Static analysis of exception handling in Ada
Software—Practice & Experience
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
A systematic approach for implementing fault tolerant software designs in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Guidance for the use of the Ada programming language in high integrity systems
ACM SIGAda Ada Letters
Safety analysis of Hawk In Flight monitor
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Ada 95, Quality and Style: Guidelines for Professional Programmers
Ada 95, Quality and Style: Guidelines for Professional Programmers
Exception Handling in Ada-94: Initial Users' Requests and Final Features
ACM SIGAda Ada Letters
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
Error-Prone Exception Handling in Large Ada Systems
Ada-Europe '93 Proceedings of the 12th Ada-Europe International Conference
Ada in the JAS 39 Gripen Flight Control System
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
An Exception Handling Framework for N-Version Programming in Object-Oriented Systems
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Anomalies Encountered in Ada Exception Handling
Anomalies Encountered in Ada Exception Handling
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Stayin' alert:: moulding failure and exceptions to your needs
Proceedings of the 5th international conference on Generative programming and component engineering
Exception handling negligence due to intra-individual goal conflicts
CHASE '09 Proceedings of the 2009 ICSE Workshop on Cooperative and Human Aspects on Software Engineering
Hi-index | 0.00 |
Exception handling in Ada has a number of well-known problems. It allows for the propagation of unhandled and anonymous exceptions, it is error-prone and it is inappropriate for some language features such as tasking and tagged types. Ada programs with exceptions can be difficult to understand, develop, modify and analyse, and the exception handling features can be misused in a number of ways.In this paper we introduce the requirements for good exception handling features. We classify the problems with Ada exception handling into two subsets: serious conceptual problems that require an improvement of the language features, and problems attributable to the misuse of the existing features. Problems in the second category can be solved by improving programmers' understanding of the features and ways of using them.