keyboard_arrow_up
Axiomatics of Exceptions

Authors

Wei Chen, United States of America

Abstract

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.

Keywords

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

Full Text  Volume 14, Number 9