A fully abstract game semantics of local exceptions

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

30 Citations (SciVal)

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.

Original languageEnglish
Title of host publicationProceedings of 16th Annual IEEE Symposium on Logic in Computer Science, 2001
PublisherIEEE
Pages105-114
Number of pages10
ISBN (Print)076951281X
DOIs
Publication statusPublished - Jun 2001
Event16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA United States
Duration: 16 Jun 200119 Jun 2001

Conference

Conference16th Annual IEEE Symposium on Logic in Computer Science
Country/TerritoryUSA United States
CityBoston, MA
Period16/06/0119/06/01

Fingerprint

Dive into the research topics of 'A fully abstract game semantics of local exceptions'. Together they form a unique fingerprint.

Cite this