A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Systematic transformation of interface specifications: applicative to imperative style, exceptions
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Designing large real-time systems with Ada
Designing large real-time systems with Ada
Scaling up: a research agenda for software engineering
Communications of the ACM
Evaluation of safety-critical software
Communications of the ACM
Programming paradigms involving exceptions: a software quality approach
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Exception handling: issues and a proposed notation
Communications of the ACM
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
Experiences with defect prevention
IBM Systems Journal
Projecting Software Defects from Analyzing Ada Designs
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
The use of Ada to achieve fault tolerance in AAS
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Observations on program-wide Ada exception propagation
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Except for exception handling …
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Error Scope on a Computational Grid: Theory and Practice
HPDC '02 Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
An approach to analyzing recursive programs with exception handling constructs
ACM SIGPLAN Notices
| Hi-index | 0.00 |