loading...
Refining Exceptions Using King and Morgan?s exit Construct
Gold Coast, Australia December 04-December 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182974Ninth Asia-Pacific Software Engineeri ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.