Exception handling—A static approach

This paper presents a static approach to exception handling. The static approach is proposed as a consequence of an examination of existing language constructs for exception handling in which several trouble spots have been revealed. The static approach consists basically of one concept, namely the sequel concept. Although the sequel concept is sufficient to specify exception handling within a program, one additional concept is introduced, namely the derived definition concept that is introduced as a generalization of the derived type and generic concepts from Ada.

[1]  Charles T. Zahn,et al.  A control statement for natural top-down structured programming , 1974, Symposium on Programming.

[2]  John B. Goodenough,et al.  Exception handling: issues and a proposed notation , 1975, CACM.

[3]  Gregor von Bochmann,et al.  Multiple exits from a loop without the GOTO , 1973, Commun. ACM.

[4]  Mary Shaw,et al.  An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[5]  Richard A. Kemmerer,et al.  Toward Modular Verifiable Exception Handling , 1980, Comput. Lang..

[6]  Alan Snyder,et al.  Exception Handling in CLU , 1979, IEEE Transactions on Software Engineering.

[7]  Jim Welsh,et al.  Pascal‐plus—another language for modular multiprogramming , 1979, Softw. Pract. Exp..

[8]  P. M. Melliar-Smith,et al.  A program structure for error detection and recovery , 1974, Symposium on Operating Systems.

[9]  J. Mack Adams.  A General, Verifiable Iterative Control Structure , 1977, IEEE Transactions on Software Engineering.

[10]  John B. Goodenough,et al.  Structured exception handling , 1975, POPL '75.

[11]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[12]  P. J. Landin,et al.  Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[13]  P. J. Landin,et al.  The next 700 programming languages , 1966, CACM.

[14]  Per Brinch Hansen,et al.  The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[15]  Donald E. Knuth,et al.  Structured Programming with go to Statements , 1974, CSUR.