Games in the semantics of programming languages -- an elementary introduction

DOI10.1023/A:1020883810034MaRDI QIDQ1868163zbMATH OpenOpenAlexFDO

Authors Jan Jürjens

Publication date 27 April 2003

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1020883810034

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55)

Recommendations

• Game semantics for a polymorphic programming language
• scientific article; zbMATH DE number 2110612
• Static Analysis
• Abstract machines for game semantics, revisited
• Publication:4490131
• A game-semantic model of computation
• Game semantics and linear CPS interpretation
• From CSP to game semantics
• Game semantics for first-order logic
• Game semantics for type soundness

Cited in

(9)

• On the interpretation of mathematical entities in the formalisation of programming and modelling languages
• On the learnability of programming language semantics
• Game Semantics in String Diagrams
• scientific article; zbMATH DE number 4039871 (Why is no real title available?)
• scientific article; zbMATH DE number 2110612 (Why is no real title available?)
• Some programming languages suggested by game models (extended abstract)
• An algebraic account of references in game semantics
• A domain-specific language for experimental game theory
• Understanding game semantics through coherence spaces

This page was built for publication: Games in the semantics of programming languages -- an elementary introduction

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