Global State Considered Helpful | Zendy

Paul Blain Levy | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Global State Considered Helpful

Author(s) -

Paul Blain Levy

Publication year - 2008

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

Subject(s) - semantics (computer science) , categorical variable , state (computer science) , expression (computer science) , computer science , game semantics , theoretical computer science , operational semantics , power (physics) , denotational semantics , programming language , machine learning , physics , quantum mechanics

Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in particular game semantics, by adding to typing contexts a zone for global state. This has the following advantages. Firstly, it causes the “good variable” equations for references to be validated, and also the noninterference equations between distinct references, as enumerated by Plotkin and Power. Secondly, it gives a cleaner categorical structure based on the configurations (state + program) used to describe operational semantics. Thirdly, it leads to a simpler proof that the game semantics is sound and adequate with respect to the operational semantics

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