C. Howell
- AUSNIT 1985A.Ausnit, C. N. et al., Ada in Practice, Springer-Verlag, New York, 1985.Google Scholar
- BLACK 1983.Black, Andrew P., "Exception Handling: The Case Against," Department of Computer Science Report TR 82-01-02, University of Washington, Seattle, 1983.Google Scholar
- CRISTIAN 1984.Cristian, Flaviu, "Correct and Robust Programs," in IEEE Transactions of Software Engineering, Vol SE-10, no. 2 (March 1984), 163-174.Google ScholarDigital Library
- CSTB 1990.Computer Science and Technology Board of the National Research Council, "Scaling Up: A Research Agenda For Software Engineering," in Communications of the ACM 33,3 (March 1990), 281-293. Google ScholarDigital Library
- CUI 1990.Cui, Qian and John Gannon, "Data- Oriented Exception Handling in Ada," in Proceedings of the 1990 International Conference on Computer Languages (March 1990), 98-106.Google ScholarCross Ref
- GOODENOUGH 1975.Goodenough, J., "Exception Handling' Issues and a Proposed Notation," in Communications of the ACM 18,12 (December 1975), 683-696. Google ScholarDigital Library
- GOODENOUGH 1988."Using Exceptions: Some Design Issues", Ada Technology for Command & Control, September 21, 1988, TRW Federal Systems Group, Fairfax, VAGoogle Scholar
- KRIEG-BRÜCKNER 1987.Krieg-Brtickner, Bemd, "Systematic Transformation of Interface Specifications: Application to Imperative Style, Excephons," in Program Specification and Transformation, L. G. L. T. Meertens Ed., North-Holland, 1987. Google ScholarDigital Library
- LEVIN 1977.Levin, R., "Program Structures For Exceptional Condition Handling," Ph.D. Thesis, Carnegie-Mellon University, 1977. Google ScholarDigital Library
- MAYS 1990.Mays, R. (2;. et al., "Experiences With Defect Prevention," in IBM Systems Journal 29,1 (January 1990), 4-32. Google ScholarDigital Library
- NIELSEN 1988.Nielsen, K. and K. Schumate, Designing Large Real-time Systems With Ada, McGraw-Hill, New York, 1988 Google ScholarDigital Library
- PARNAS 1990.Parnas, David L. et al., "Evaluation of Safety-Critical Software," in Communications of the ACM 33,6 (June 1990), 636-648. Google ScholarDigital Library
- PERKINS 1987.Perkins, J. A. and R. S. Gorzela, "Programming paradigms Involving Exceptions: A Software Quality Approach," in Proceedings of the Fifth Annual National Conference on Ada Technology (1987). Google ScholarDigital Library
- PERRY 1985.Perry, D. E. and W. M. Evangelist, "An Empirical Study of Software Interface Faults," in Proceedings of the International Symposium on New Directions in Computing, Trondheim Norway (August 1985), 32-38.Google Scholar
- TROY 1982.Troy, W. N., "Fault-tolerant Design of Local ESS Processors," in The Theory and Practice of Reliable System Design, D. P. Siewiorek and R. S. Swarz, Eds. 1982.Google Scholar
- YEMENI 1985.Yemeni, S. and D. Berry, "A Modular Verifiable Exception-Handling Mechanism," in A CM Transactions on Programming Languages and Systems 7,2 (April 1985), 214-243. Google ScholarDigital Library
Index Terms
- Exception handling in large Ada systems
Recommendations
Ada exception handling: an axiomatic approach
A method of documenting exception propagation and handling in Ada programs is proposed. Exception propagation declarations are introduced as a new component of Ada specifications, permitting documentation of those exceptions that can be propagated by a ...
Efficient Java exception handling in just-in-time compilation
Research ArticlesJava uses exceptions to provide elegant error handling capabilities during program execution. However, the presence of exception handlers complicates the job of the just-in-time (JIT) compiler, while exceptions are rarely used in most programs. This ...
Exception Handling during Asynchronous Method Invocation (Research Note)
Euro-Par '02: Proceedings of the 8th International Euro-Par Conference on Parallel ProcessingException handling mechanisms provided by sequential programming languages rely upon the call stack for the propagation of exceptions. Unfortunately, this is inadequate for handling exceptions thrown from asynchronously invoked methods. For instance, ...
Comments