Full abstraction for Reduced ML

Annals of Pure and Applied Logic 164 (11):1118-1143 (2013)
  Copy   BIBTEX

Abstract

We present the first effectively presentable fully abstract model for Stark╩╝s Reduced ML, a call-by-value higher-order programming language featuring integer-valued references. The model is constructed using techniques of nominal game semantics. Its distinctive feature is the presence of carefully restricted information about the store in plays, combined with conditions concerning the participants╩╝ ability to distinguish reference names. We show how it leads to an explicit characterization of program equivalence

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,659

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A game semantics of names and pointers.J. Laird - 2008 - Annals of Pure and Applied Logic 151 (2-3):151-169.
Angelic semantics of fine-grained concurrency.Dan R. Ghica & Andrzej S. Murawski - 2008 - Annals of Pure and Applied Logic 151 (2-3):89-114.
An approach to deciding the observational equivalence of Algol-like languages.C. -H. L. Ong - 2004 - Annals of Pure and Applied Logic 130 (1-3):125-171.
Infinite trace equivalence.Paul Blain Levy - 2008 - Annals of Pure and Applied Logic 151 (2-3):170-198.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
On the unity of duality.Noam Zeilberger - 2008 - Annals of Pure and Applied Logic 153 (1-3):66-96.
Linear realizability and full completeness for typed lambda-calculi.Samson Abramsky & Marina Lenisa - 2005 - Annals of Pure and Applied Logic 134 (2-3):122-168.

Analytics

Added to PP
2013-12-12

Downloads
34 (#467,954)

6 months
8 (#531,034)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Full abstraction for Reduced ML.Andrzej S. Murawski & Nikos Tzevelekos - 2013 - Annals of Pure and Applied Logic 164 (11):1118-1143.

Add more citations

References found in this work

Full abstraction for Reduced ML.Andrzej S. Murawski & Nikos Tzevelekos - 2013 - Annals of Pure and Applied Logic 164 (11):1118-1143.
A game semantics of names and pointers.J. Laird - 2008 - Annals of Pure and Applied Logic 151 (2-3):151-169.

Add more references