Static analysis of exception handling in Ada

Investigation of implicitly raised Ada predefined exceptions

WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering

Analysis and Testing of Programs with Exception Handling Constructs

IEEE Transactions on Software Engineering

Except for exception handling …

ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings

Static analysis to support the evolution of exception structure in object-oriented systems

ACM Transactions on Software Engineering and Methodology (TOSEM)

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

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

An approach to analyzing recursive programs with exception handling constructs

ACM SIGPLAN Notices

Visualization of exception handling constructs to support program understanding

Proceedings of the 4th ACM symposium on Software visualization

Architecting fault tolerance with exception handling: verification and validation

Journal of Computer Science and Technology

Automating exception-safety classification

Science of Computer Programming

Reasoning about exception flow at the architectural level

Rigorous Development of Complex Fault-Tolerant Systems