Full abstraction for nominal general references

Nikos Tzevelekos

doi:10.2168/LMCS-5(3:8)2009

Nikos Tzevelekos - Full abstraction for nominal general references

lmcs:918 - Logical Methods in Computer Science, September 11, 2009, Volume 5, Issue 3 - https://doi.org/10.2168/LMCS-5(3:8)2009

Full abstraction for nominal general referencesArticle

Authors: Nikos Tzevelekos

Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects. Recently, nominal games have been proposed for modelling functional languages with names. These are ordinary, stateful games cast in the theory of nominal sets developed by Pitts and Gabbay. Here we take nominal games one step further, by developing a fully abstract semantics for a language with nominal general references.

https://doi.org/10.2168/LMCS-5(3:8)2009

Source: arXiv.org:0907.4477

Volume: Volume 5, Issue 3

Secondary volumes: Selected Papers of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007)

Published on: September 11, 2009

Imported on: January 2, 2008

Keywords: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, D.3.1

Licence: arXiv.org - Non-exclusive license to distribute

Classifications

Mathematics Subject Classification 2020¹

Sources:

[1] zbMATH Open.

Publications

Has review

Review available on zbMATH Open, by Manuel Ojeda Aciego (Málaga) (English)

1 zbMATH Open

Bibliographic References

14 Documents citing this article

Vasileios Koutavas;Yu-Yang Lin;Nikos Tzevelekos, 2025, Fully Abstract Normal Form Bisimulation for Call-by-Value PCF, Journal of the ACM, 72, 6, pp. 1-52, 10.1145/3765737, https://doi.org/10.1145/3765737.

Jim Laird;Guy McCusker, 2023, An Axiomatic Account of a Fully Abstract Game Semantics for General References, Outstanding contributions to logic, pp. 251-292, 10.1007/978-3-031-24117-8_7.

Andrzej S. Murawski;Nikos Tzevelekos, 2020, Game Semantics for Interface Middleweight Java, Journal of the ACM, 68, 1, pp. 1-51, 10.1145/3428676.

Andrzej S. Murawski;Nikos Tzevelekos, 2017, Algorithmic games for full ground references, Formal Methods in System Design, 52, 3, pp. 277-314, 10.1007/s10703-017-0292-9, https://doi.org/10.1007/s10703-017-0292-9.

Andrzej S. Murawski;Nikos Tzevelekos, 2014, Game semantics for interface middleweight Java, ACM SIGPLAN Notices, 49, 1, pp. 517-528, 10.1145/2578855.2535880.

Andrzej S. Murawski;Nikos Tzevelekos, 2014, Game semantics for interface middleweight Java, Queen Mary Research Online (Queen Mary University of London), pp. 517-528, 10.1145/2535838.2535880, https://qmro.qmul.ac.uk/xmlui/handle/123456789/67667.

Andrzej S. Murawski;Nikos Tzevelekos, 2014, Game Semantics for Nominal Exceptions, Lecture notes in computer science, pp. 164-179, 10.1007/978-3-642-54830-7_11.

Andrzej S. Murawski;Nikos Tzevelekos, 2013, Towards Nominal Abramsky, Lecture notes in computer science, pp. 246-263, 10.1007/978-3-642-38164-5_17.

Andrzej S. Murawski;Nikos Tzevelekos, 2013, Full abstraction for Reduced ML, Annals of Pure and Applied Logic, 164, 11, pp. 1118-1143, 10.1016/j.apal.2013.05.007.

Andrzej S. Murawski;Nikos Tzevelekos, 2012, Algorithmic Games for Full Ground References, Lecture notes in computer science, pp. 312-324, 10.1007/978-3-642-31585-5_30.

Nikos Tzevelekos, 2012, Program equivalence in a simple language with state, Computer Languages Systems & Structures, 38, 2, pp. 181-198, 10.1016/j.cl.2012.02.002.

Andrzej S. Murawski;Nikos Tzevelekos, 2011, Game Semantics for Good General References, 2011 IEEE 26th Annual Symposium on Logic in Computer Science, pp. 75-84, 10.1109/lics.2011.31.

Andrzej S. Murawski;Nikos Tzevelekos, 2010, Block Structure vs. Scope Extrusion: Between Innocence and Omniscience, Lecture notes in computer science, pp. 33-47, 10.1007/978-3-642-12032-9_4, https://doi.org/10.1007/978-3-642-12032-9_4.

Sam Staton, 2010, Completeness for Algebraic Theories of Local State, Lecture notes in computer science, pp. 48-63, 10.1007/978-3-642-12032-9_5.

Sources : OpenCitations, OpenAlex & Crossref

Share and export

Consultation statistics

This page has been seen 3292 times.

This article's PDF has been downloaded 823 times.