Some Programming Languages Suggested by Game Models (Extended Abstract) | Zendy

John Longley | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Some Programming Languages Suggested by Game Models (Extended Abstract)

Author(s) -

John Longley

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.07.087

Subject(s) - programming language , computer science , backtracking , extension (predicate logic) , linearization , theoretical computer science , simple (philosophy) , physics , quantum mechanics , nonlinear system , philosophy , epistemology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research