Java Exceptions Throw No Surprises

S Drossopoulou & T Valkevych
We present a summary of our formalization of the static and dynamic semantics of Java related to exceptions. We distinguish between normal execution, where no exception is thrown - or, more precisely, any exception thrown is handled - and abnormal execution, where an exception is thrown and not handled. The type system distinguishes normal types which describe the possible outcomes of normal execution, and abnormal types which describe the possible outcomes of abnormal execution. The...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.