Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Wei Chen (2024) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: