loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth Asia-Pacific Software Engineering Conference (APSEC'02)
Refining Exceptions Using King and Morgan?s exit Construct
Gold Coast, Australia
December 04-December 06
ISBN: 0-7695-1850-8
ASCII Text
x 
 
Geoffrey Watson, "Refining Exceptions Using King and Morgan?s exit Construct," Asia-Pacific Software Engineering Conference, pp. 43, Ninth Asia-Pacific Software Engineering Conference (APSEC'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2002.1182974,
author = {Geoffrey Watson},
title = {Refining Exceptions Using King and Morgan?s exit Construct},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2002},
issn = {1530-1362},
pages = {43},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182974},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Refining Exceptions Using King and Morgan?s exit Construct
SN - 1530-1362
SP
EP
A1 - Geoffrey Watson,
PY - 2002
KW - null
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
Geoffrey Watson, University of Queensland
In this paper we discuss the refinement of exceptions. We extend the Guarded Command Language normally used in the refinement calculus, with a simple exception handling statement, which we model using King and Morgan?s exit statement. We derive some variants of King and Morgan?s refinement laws for their exit statement, and illustrate the approach with an example of a refinement of a simple program.
Citation:
Geoffrey Watson, "Refining Exceptions Using King and Morgan?s exit Construct," apsec, pp.43, Ninth Asia-Pacific Software Engineering Conference (APSEC'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.