Some Programming Languages Suggested by Game Models (Extended Abstract)

Research output: Contribution to journalArticlepeer-review

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.
Original languageEnglish
Pages (from-to)117-134
Number of pages18
JournalElectronic Notes in Theoretical Computer Science
Volume249
DOIs
Publication statusPublished - 2009

Keywords

  • FPC
  • Game semantics
  • sequential data structures

Fingerprint Dive into the research topics of 'Some Programming Languages Suggested by Game Models (Extended Abstract)'. Together they form a unique fingerprint.

Cite this