A game semantics of names and pointers

DOI10.1016/J.APAL.2007.10.006zbMath1133.68014OpenAlexW2125428039MaRDI QIDQ2474444

Yanyan Li

Publication date: 6 March 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2007.10.006

zbMATH Keywords

game semanticsfresh name generationpointer-based storage

Mathematics Subject Classification ID

Applications of game theory (91A80) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (8)

Game Semantics in the Nominal Model ⋮ Algorithmic games for full ground references ⋮ Full abstraction for Reduced ML ⋮ Program equivalence in a simple language with state ⋮ Full Abstraction for Reduced ML ⋮ Compositional Predicate Abstraction from Game Semantics ⋮ An Algebraic Account of References in Game Semantics ⋮ Denotational Semantics with Nominal Scott Domains

Cites Work

• On the semantics of the bad-variable constructor in Algol-like languages
• A new approach to abstract syntax with variable binding
• A calculus for cryptographic protocols: The spi calculus
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• A theory of bisimulation for a fragment of concurrent ML with local names
• The regular-language semantics of second-order idealized ALGOL
• Polarized games
• Game-theoretic analysis of call-by-value computation
• Games and full completeness for multiplicative linear logic
• Premonoidal categories and notions of computation
• A Game Semantics of Idealized CSP
• Foundations of Software Science and Computation Structures
• Game Semantics for Higher-Order Concurrency
• Foundations of Software Science and Computational Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A game semantics of names and pointers