Refining Exceptions Using King and Morgan's exit Construct

Authors:
Geoffrey Watson
Affiliations:
-
Venue:
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
Year:
2002

Citing 0
Cited 1

Refining exceptions in four-valued logic

LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we discuss the refinement of exceptions. Weextend the Guarded Command Language normally used inthe refinement calculus, with a simple exception handlingstatement, which we model using King and Morgan's exitstatement. We derive some variants of King and Morgan'srefinement laws for their exit statement, and illustrate theapproach with an example of a refinement of a simple program.