Full abstracts appear below the schedule of talks.
This is unfortunate because the need for such change often arises in practice. The language Eiffel, for example, supports this, but it causes typechecking problems there. Much research has been conducted on this issue during the last decade. Only knowledge of the basic concepts of OOP will be assumed. From the points of view of proof-theory, programming pragmatics and operational semantics, the syntactic construct used for exception handling in many programming languages, and in much theoretical work on exceptions, has subtly undesirable features.