Wei Chen, United States of America

This paper presents axiomatic proof rules for exception handling and argues that exceptions are no more than forward goto statements. The rules are defined within Hoare's native proof system with Dijkstra's weakest precondition model as a mathematical foundation.

exception handling, exception proof rules, goto axioms, weakest precondition.