Some programming languages suggested by game models (extended abstract)

DOI10.1016/J.ENTCS.2009.07.087zbMATH Open1337.68073OpenAlexW2152841619MaRDI QIDQ2805154FDOQ2805154

John Longley

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.087

Recommendations

• Games and full abstraction for FPC.
• Games in the semantics of programming languages -- an elementary introduction
• scientific article
• scientific article; zbMATH DE number 2110612
• What's in a game?

zbMATH Keywords

game semanticsdefinabilitybacktrackingcoroutineslinear typesFPCsequential data structures

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• LCF considered as a programming language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Games and full abstraction for FPC.
• Locally Boolean domains
• A categorical semantics of higher order store
• Games and full completeness for multiplicative linear logic
• The sequentially realizable functionals
• On the symmetry of sequentiality
• Sequential algorithms on concrete data structures
• Comparing hierarchies of types in models of linear logic
• Title not available (Why is that?)
• Definability and full abstraction

Cited In (4)

• A domain-specific language for experimental game theory
• From global to local state, coalgebraically and compositionally
• Title not available (Why is that?)
• Imperative programs as proofs via game semantics

Uses Software

• Eriskay

This page was built for publication: Some programming languages suggested by game models (extended abstract)

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