Game Semantics for Good General References

Game Semantics for Good General References,10.1109/LICS.2011.31,Andrzej S. Murawski,Nikos Tzevelekos

Game Semantics for Good General References  
BibTex | RIS | RefWorks Download
We present a new fully abstract and effectively pre- sentable 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 (3), 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
Conference: Logic in Computer Science - LICS , pp. 75-84, 2011
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.