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

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

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Abramsky, S, McCusker, G
Formáid:	Conference item
Foilsithe / Cruthaithe:	Birkhauser 1997

Míreanna comhchosúla

Full Abstraction for Idealized Algol with passive expressions
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (1999)

A fully abstract game semantics for general references
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (1998)

Game Semantics
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (1999)

Games and Full Abstraction for the Lazy λ−calculus
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (1995)

Games for recursive types
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (1995)

Call−by−value games
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (1998)

Third-order Idealized Algol with iteration is decidable
de réir: Murawski, A, et al.
Foilsithe / Cruthaithe: (2008)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
de réir: Thomsen, B, et al.
Foilsithe / Cruthaithe: (2001)

Experiments‚ Powerdomains and Fully Abstract Models for Applicative Multiprogramming
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1983)

Observational Logic and Process Semantics (Abstract)
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1989)

Semantics of Interaction: an introduction to Game Semantics
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1997)

Introduction to ALGOL/
de réir: Baumann, R.
Foilsithe / Cruthaithe: (1964)

An introduction to ALGOL /
de réir: 280507 Watson, Frank Richard
Foilsithe / Cruthaithe: (1975)

Programming-ALGOL/
de réir: 173942 Malcolme-Lawers, D. J.
Foilsithe / Cruthaithe: (1969)

Understanding ALGOL: A View of a Recent Convert to Denotational Semantics
de réir: Meyer, Albert R.
Foilsithe / Cruthaithe: (2023)

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview
de réir: Trakhtenbrot, B.A., et al.
Foilsithe / Cruthaithe: (2023)

A guide to ALGOL programming/
de réir: 227821 McCracken, Daniel D.
Foilsithe / Cruthaithe: (1962)

A Graph Model for Imperative Computation
de réir: Guy McCusker
Foilsithe / Cruthaithe: (2010-01-01)

A Fully Abstract Semantics for Event-Based Simulation
de réir: Hall, Robert J.
Foilsithe / Cruthaithe: (2004)

Games in the Semantics of Programming Languages
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1997)

Game Semantics for Programming Languages
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1997)

From CSP to Game Semantics
de réir: Abramsky, S
Foilsithe / Cruthaithe: (2010)

Critique of ALGOL 68
de réir: Hoare, C
Foilsithe / Cruthaithe: (1968)

Description of ALGOL 60 /
de réir: 277228 Rutishauser, Heinz
Foilsithe / Cruthaithe: (1967)

An introduction to ALGOL programming /
de réir: 280287 Wooldridge, Roylance, et al.
Foilsithe / Cruthaithe: (1968)

Computer programming in ALGOL/
de réir: 397276 Earnshaw, John David, et al.
Foilsithe / Cruthaithe: (1970)

Informal introduction to ALGOL 68 /
de réir: 280354 Lindsey, C. H., et al.
Foilsithe / Cruthaithe: (1977)

Game Semantics for Access Control
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2009)

Algorithmic Game Semantics: A Tutorial Introduction
de réir: Abramsky, S
Foilsithe / Cruthaithe: (2001)

A Contribution to the Development of ALGOL
de réir: Wirth, N, et al.
Foilsithe / Cruthaithe: (1966)

A Game semantics for Generic Polymorphism
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2003)

A Game Semantics for Generic Polymorphism
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2005)

Huntington disease: from premanifest to diagnosis and early care
de réir: Elizabeth A McCusker
Foilsithe / Cruthaithe: (2019-01-01)

A practical guide to algol 68 /
de réir: 191594 Pagan, Frank G.

Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages
de réir: Birkedal, L, et al.
Foilsithe / Cruthaithe: (2006)

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
de réir: Lars Birkedal, et al.
Foilsithe / Cruthaithe: (2006-11-01)

The Elliott ALGOL Programming System
de réir: Hoare, C
Foilsithe / Cruthaithe: (1964)

ALGOL 60 and FORTRAN IV /
de réir: 280527 Vowels, Robin A.
Foilsithe / Cruthaithe: (1974)

Introductory Algol 68 programming/
de réir: 186334 Brailsford, D. F., et al.
Foilsithe / Cruthaithe: (1979)

Principles of Algol 60 programming/
de réir: 186344 Collins, John Stuart, et al.
Foilsithe / Cruthaithe: (1966)