Slot games: a quantitative model of computation

DOI10.1145/1040305.1040313MaRDI QIDQ5276137zbMATH OpenOpenAlexFDO

Authors Dan R. Ghica

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1040305.1040313

zbMATH Keywords

Algolgame semanticsquantitative analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• What's in a game?
• Probabilistic game semantics
• Static Analysis
• A Game Semantics of Idealized CSP
• scientific article; zbMATH DE number 2110612

Cited in

(9)

• Weighted models for higher-order computation
• Resource-tracking concurrent games
• A game-semantic model of computation
• Integer valued betting strategies and Turing degrees
• From qualitative to quantitative semantics. By change of base
• Payoffs, intensionality and abstraction in games
• A Fresh Look at the λ-Calculus
• The far side of the cube. An elementary introduction to game semantics
• Interaction improvement

This page was built for publication: Slot games: a quantitative model of computation

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