John B. Goodenough
ABSTRACT
In this paper, we define what exception conditions are, discuss the requirements exception handling language features must satisfy, survey and analyze existing approaches to exception handling, and propose some new language features for dealing with exceptions in an orderly and reliable way. Our objective is not solely to put forward a language proposal. It is also to analyze exception handling issues and principles in detail. The proposed language features serve to highlight exception handling issues by showing how deficiencies in current approaches could be remedied in a coherent and orderly way.
- Dahl, O-J., Dijkstra, E. W., and Hoare, C. A. R., Structured Programming, Academic Press, New York, N. Y., 1972. Google Scholar
Digital Library
- Woodger, M., "On Semantic Levels in Programming." Proc. IFIP Congress 71, 1972, 402-407.Google Scholar
- Liskov, B. H., "A Design Methodology for Reliable Software Systems," Proc. 1972 FJCC, 191-199.Google Scholar
- Liskov, B. H., "The Design of the VENUS Operating Systems," CACM 15, 3 (March 1972), 144-149 Google ScholarDigital Library
- Dijkstra, E. W., "The Structure of the 'THE'-Multiprogramming System," CACM 11, 5 (May 1968), 341-346. Google ScholarDigital Library
- Liskov, B. and Zilles, S., "Programming With Abstract Data Types," SIGPLAN Notices 9, 4 (April 1974), 50-59. Google ScholarDigital Library
- Hoare, C. A. R. "A Note on the FOR Statement," BIT 12 (1972), 334-341.Google ScholarDigital Library
- Sevcik, D. L., et. al., "Project SUE as a Learning Experience," Proc. 1972 FJCC, 331-338.Google Scholar
- Parnas, D. L., "A Technique for Software Module Specification with Examples," CACM 15, 5 (May 1972), 330-336. Google ScholarDigital Library
- Parnas, D. L., "Response to Detected Errors in Well-Structured Programs," Dept. of Comp. Sci., Carnegie-Mellon University, Pittsburgh, Pa., July 1972.Google Scholar
- Mitchell, J. G., Signals, Unpublished note, September 1973.Google Scholar
- Lampson, B. W. , Mitchell, J. G. , and Satterthwaite, E. H., On the Transfer of Control Between Contexts, Xerox PARC, Palo Alto, Cal., undated.Google Scholar
- Noble, J. M., "The Control of Exceptional Conditions in PL/I Object Programs," Proc. IFIP Congress 68, C78-C83.Google Scholar
- Knuth, D. E., Structured Programming With GOTO Statements, STAN-CS-74-416, Stanford University, Palo Alto, California PB233507/3, May 1974.Google Scholar
- Zahn, C. T., "A Control Statement for Natural Top-Down Structure Programming. Symposium on Programming Languages, Paris 1974. Google ScholarDigital Library
- Ross, D. T., "The AED Free Storage Package," CACM 10, 8 (August 1967), 481-492. Google ScholarDigital Library
- Golomb, S. W. and Baumert, L. D., "Backtrack Programming," JACM 12, 4 (October 1965), 516-524. Google ScholarDigital Library
- Horning, J. J. , Lauer, H. C., Melliar-Smith, P. M., Randell, B., Program Structure for Error Detection and Recovery, Computing Laboratory, Univ. of Newcastle upon Tyne, England, December 11, 1973.Google Scholar
- Hoare, C. A. R., Parallel Programming: An Axiomatic Approach, STAN-CS-73-394, AD769674, October 1973. Google ScholarDigital Library
- ____, AED Programmer's Guide, SofTech, Inc., Waltham, Mass. 1972.Google Scholar
- ____, OS PL/I Checkout and Optimizing Compiler: Language Reference Manual, IBM Corp., GC 33-0009-3, 1974.Google Scholar
- Weinberg, G. M., The Psychology of Computer Programming, Van Nostrand Reinhold Co., New York, N. Y., 1971. Google ScholarDigital Library
- Organick, E. L., The MULTICS System: An Examination of Its Structure, MIT press, Cambridge, Mass., 1972, 187-216. Google ScholarDigital Library
- Parnas, D. L., "Information Distribution Aspects of Design Methodology," Proc. IFIP Congress 71, Booklet TA-3, 26-30.Google Scholar
- Parnas, D. L., "On the Criteria to be Used in Decomposing Systems Into Modules," CACM 15, 12 (December 1972), 1053-1058. Google ScholarDigital Library
- Bochmann, G. V., "Multiple Exits From A Loop Without the GOTO," CACM 16, 7 (July 1973), 443-444. Google ScholarDigital Library
- ____, The Multics Programmer's Manual, Vol. II - Reference Guide, Honeywell, Inc., AG-91A, July 1973.Google Scholar
- Structured exception handling
Recommendations
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