An algebraic account of references in game semantics

DOI10.1016/J.ENTCS.2009.07.099zbMATH Open1337.68074OpenAlexW2170419064MaRDI QIDQ2805167FDOQ2805167

Authors: Paul-André Melliès, Nicolas Tabareau 

Publication date: 10 May 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.099

Recommendations

• Deconstructing general references via game semantics
• scientific article; zbMATH DE number 2110612
• Games in algebraic logic: axiomatisations and beyond
• Games in the semantics of programming languages -- an elementary introduction
• Algorithmic nominal game semantics
• Abstract machines for game semantics, revisited
• Static Analysis
• A relation-algebraic approach to simple games
• scientific article; zbMATH DE number 7340142
• A game-semantic model of computation

zbMATH Keywords

game semanticstrace operatortensor logicmemory accesscompact-closed categoriesgeneral referencesreplication modality

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• On full abstraction for PCF: I, II and III
• On the semantics of the bad-variable constructor in Algol-like languages
• On traced monoidal closed categories
• Traced monoidal categories
• Coherence for compact closed categories
• Title not available (Why is that?)
• A game semantics of names and pointers
• A categorical semantics of higher order store
• Bad Variables Under Control
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Title not available (Why is that?)
• Global state considered helpful
• Simple relational correctness proofs for static analyses and program transformations
• Sequential algorithms on concrete data structures
• Title not available (Why is that?)

Cited In (4)

• Global state considered helpful
• Deconstructing general references via game semantics
• A categorical semantics of higher order store
• Grounding game semantics in categorical algebra

This page was built for publication: An algebraic account of references in game semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805167)