Some programming languages suggested by game models (extended abstract)

DOI10.1016/J.ENTCS.2009.07.087MaRDI QIDQ2805154zbMATH OpenOpenAlexFDO

Authors 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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 1223609 (Why is no real title available?)
• scientific article; zbMATH DE number 1241700 (Why is no real title available?)
• scientific article; zbMATH DE number 1523049 (Why is no real title available?)
• A categorical semantics of higher order store
• Comparing hierarchies of types in models of linear logic
• Definability and full abstraction
• Games and full abstraction for FPC.
• Games and full completeness for multiplicative linear logic
• LCF considered as a programming language
• Locally Boolean domains
• On the symmetry of sequentiality
• Sequential algorithms on concrete data structures
• The sequentially realizable functionals

Cited in

(4)

• From global to local state, coalgebraically and compositionally
• Imperative programs as proofs via game semantics
• A domain-specific language for experimental game theory
• scientific article; zbMATH DE number 65755 (Why is no real title available?)

Describes a project that uses

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)