Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol

Bibliographic Details
Main Authors:	Abramsky, S, McCusker, G
Format:	Conference item
Published:	Birkhauser 1997

Similar Items

Full Abstraction for Idealized Algol with passive expressions
by: Abramsky, S, et al.
Published: (1999)

A fully abstract game semantics for general references
by: Abramsky, S, et al.
Published: (1998)

Game Semantics
by: Abramsky, S, et al.
Published: (1999)

Games and Full Abstraction for the Lazy λ−calculus
by: Abramsky, S, et al.
Published: (1995)

Games for recursive types
by: Abramsky, S, et al.
Published: (1995)

Call−by−value games
by: Abramsky, S, et al.
Published: (1998)

Third-order Idealized Algol with iteration is decidable
by: Murawski, A, et al.
Published: (2008)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
by: Thomsen, B, et al.
Published: (2001)

Experiments‚ Powerdomains and Fully Abstract Models for Applicative Multiprogramming
by: Abramsky, S
Published: (1983)

A Fully Abstract Semantics for Event-Based Simulation
by: Hall, Robert J.
Published: (2004)

Observational Logic and Process Semantics (Abstract)
by: Abramsky, S
Published: (1989)

Understanding ALGOL: A View of a Recent Convert to Denotational Semantics
by: Meyer, Albert R.
Published: (2023)

A guide to ALGOL programming/
by: 227821 McCracken, Daniel D.
Published: (1962)

Semantics of Interaction: an introduction to Game Semantics
by: Abramsky, S
Published: (1997)

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview
by: Trakhtenbrot, B.A., et al.
Published: (2023)

Critique of ALGOL 68
by: Hoare, C
Published: (1968)

Computer programming in ALGOL/
by: 397276 Earnshaw, John David, et al.
Published: (1970)

A Contribution to the Development of ALGOL
by: Wirth, N, et al.
Published: (1966)

Games in the Semantics of Programming Languages
by: Abramsky, S
Published: (1997)

Game Semantics for Programming Languages
by: Abramsky, S
Published: (1997)

From CSP to Game Semantics
by: Abramsky, S
Published: (2010)

The Elliott ALGOL Programming System
by: Hoare, C
Published: (1964)

Report on the Elliott ALGOL Translator
by: Hoare, C
Published: (1962)

Basic numerical analysis with Algol /
by: 308704 Balfour, A., et al.
Published: (1972)

Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages
by: Birkedal, L, et al.
Published: (2006)

Game Semantics for Access Control
by: Abramsky, S, et al.
Published: (2009)

Algorithmic Game Semantics: A Tutorial Introduction
by: Abramsky, S
Published: (2001)

A Game semantics for Generic Polymorphism
by: Abramsky, S, et al.
Published: (2003)

A Game Semantics for Generic Polymorphism
by: Abramsky, S, et al.
Published: (2005)

The Elliott ALGOL Input/Output System
by: Hoare, C
Published: (1963)

Programming by case studies : an Algol primer /
by: 195613 Chedzoy, Olaf Barrington, et al.
Published: (1969)

Game semantics for dependent types
by: Vákár, M, et al.
Published: (2018)

Structural programming and problem solving with ALGOL W/
by: 222651 Kieburtz, Richard B.
Published: (1975)

A Compositional Game Semantics for Multi−Agent Logics of Partial Information
by: Abramsky, S
Published: (2007)

Numerical methods of mathematical optimization : with ALGOL and FOTRAN programs /
by: 341780 Kunzi, Hans Paul, et al.
Published: (1971)

Nominal games and Full Abstraction for the Nu−Calculus
by: Abramsky, S, et al.
Published: (2004)

Algorithmic Game Semantics and Component−Based Verification
by: Abramsky, S, et al.
Published: (2003)

Applying Game Semantics to Compositional Software Modelling and verification
by: Abramsky, S, et al.
Published: (2004)

Games and Full Completeness for Multiplicative Linear Logic
by: Abramsky, S, et al.
Published: (1994)

Games and Full Completeness for Multiplicative Linear Logic
by: Abramsky, S, et al.
Published: (1992)