loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th Annual IEEE Symposium on Logic in Computer Science (LICS'01)
A Fully Abstract Game Semantics of Local Exceptions
Boston, Massachusetts
June 16-June 19
ISBN: 0-7695-1281-X
J. Laird, University of Sussex
Abstract: A fully abstract game semantics for an extension of Idealized Algol with locally declared exceptions is presented. It is based on "Hyland-Ong games", but as well as relaxing the constraints which impose functional behaviour (as in games models of other computational effects such as continuations and references), new structure is added to plays in the form of additional pointers which track the flow of control. The semantics is proved to be fully abstract by a factorization of strategies into a 'new-exception generator' and a strategy with local control flow. It is shown, using examples, that there is no model of exceptions which is a conservative extension of the semantics of Idealized Algol without the new pointers.
Citation:
J. Laird, "A Fully Abstract Game Semantics of Local Exceptions," lics, pp.0105, 16th Annual IEEE Symposium on Logic in Computer Science (LICS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.