Some Programming Languages Suggested by Game Models (Extended Abstract)

John Longley

doi:10.1016/j.entcs.2009.07.087

Some Programming Languages Suggested by Game Models (Extended Abstract)

Research output: Contribution to journal › Article › peer-review

Abstract / Description of output

We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin's language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for state encapsulation, coroutining and backtracking.

Original language	English
Pages (from-to)	117-134
Number of pages	18
Journal	Electronic Notes in Theoretical Computer Science
Volume	249
DOIs	https://doi.org/10.1016/j.entcs.2009.07.087
Publication status	Published - 2009

Keywords / Materials (for Non-textual outputs)

FPC
Game semantics
sequential data structures

Access to Document

10.1016/j.entcs.2009.07.087

1-s2.0-S1571066109003090-mainFinal published version, 337 KB

http://www.sciencedirect.com/science/article/pii/S1571066109003090

Cite this

@article{b5c203c62276481088d651af60232bc6,

title = "Some Programming Languages Suggested by Game Models (Extended Abstract)",

abstract = "We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin's language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for state encapsulation, coroutining and backtracking.",

keywords = "FPC, Game semantics, sequential data structures",

author = "John Longley",

note = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)",

year = "2009",

doi = "10.1016/j.entcs.2009.07.087",

language = "English",

volume = "249",

pages = "117--134",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Some Programming Languages Suggested by Game Models (Extended Abstract)

AU - Longley, John

N1 - Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)

PY - 2009

Y1 - 2009

N2 - We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin's language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for state encapsulation, coroutining and backtracking.

AB - We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin's language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for state encapsulation, coroutining and backtracking.

KW - FPC

KW - Game semantics

KW - sequential data structures

UR - http://www.scopus.com/inward/record.url?scp=68549135068&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2009.07.087

DO - 10.1016/j.entcs.2009.07.087

M3 - Article

SN - 1571-0661

VL - 249

SP - 117

EP - 134

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

Some Programming Languages Suggested by Game Models (Extended Abstract)

Abstract / Description of output

Keywords / Materials (for Non-textual outputs)

Access to Document

Other files and links

Fingerprint

Cite this