The Library
Game semantics for good general references
Tools
Murawski, Andrzej S. and Tzevelekos, Nikos (2011) Game semantics for good general references. In: 26th Annual IEEE Symposium on Logic in Computer Science (LICS'11), Toronto, ON, 21-24 June 2011. Published in: Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on pp. 75-84. ISBN 9781457704512. doi:10.1109/LICS.2011.31 ISSN 1043-6871.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1109/LICS.2011.31
Abstract
We present a new fully abstract and effectively presentable denotational model for RefML, a paradigmatic higher-order programming language combining call-by-value evaluation and general references in the style of ML. Our model is built using game semantics. In contrast to the previous model by Abramsky, Honda and McCusker, it provides a faithful account of reference types, and the full abstraction result does not rely on the availability of spurious constructs of reference type (bad variables). This is the first denotational model of this kind, preceded only by the trace model recently proposed by Laird.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on | ||||
Publisher: | IEEE | ||||
ISBN: | 9781457704512 | ||||
ISSN: | 1043-6871 | ||||
Book Title: | 2011 IEEE 26th Annual Symposium on Logic in Computer Science | ||||
Official Date: | 2011 | ||||
Dates: |
|
||||
Page Range: | pp. 75-84 | ||||
DOI: | 10.1109/LICS.2011.31 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 26th Annual IEEE Symposium on Logic in Computer Science (LICS'11) | ||||
Type of Event: | Conference | ||||
Location of Event: | Toronto, ON | ||||
Date(s) of Event: | 21-24 June 2011 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |