Exception handling in scientific computing

This paper describes some simple programming language facilities for raising and handling exceptions, and demonstrates, with a number of examples, their effectiveness in a scientific computing environment. Only a small number of predefined exceptions need to be introduced into the language, but any number of user-defined exceptions can he introduced by the programmer. A key feature is that handlers are attached to operators that can raise exceptions (including user-defined functions and procedures, as well as built-in operators), rather than to expressions or statements. The programmer has a great deal of freedom in specifying what action is to be taken in case an exception arises. The implementation and the applications are mainly concerned with scientific computing, but we believe the facilities are applicable in other areas as well.

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

[2]  Flaviu Cristian,et al.  Correct and Robust Programs , 1984, IEEE Transactions on Software Engineering.

[3]  T. E. Hull,et al.  Numerical Turing , 1985, SGNM.

[4]  T. E. Hull Exception handling in scientific computation , 1984 .

[5]  Andrew P. Black,et al.  Exception handling : The case against , 1982 .

[6]  J. N. P. Hume,et al.  Introduction to computer science using the TURING programming language , 1984 .

[7]  Daniel M. Berry,et al.  A modular verifiable exception handling mechanism , 1985, TOPL.