Full abstraction for Idealized Algol with passive expressions

Authors
Abramsky, S McCusker, G
Citation
S. Abramsky et G. Mccusker, Full abstraction for Idealized Algol with passive expressions, THEOR COMP, 227(1-2), 1999, pp. 3-42
Citations number
37
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
227
Issue
1-2
Year of publication
1999
Pages
3 - 42
Database
ISI
SICI code
0304-3975(19990928)227:1-2<3:FAFIAW>2.0.ZU;2-W
Abstract
A fully abstract games model of Reynolds' idealized Algol is described. The model gives a semantic account of the distinction between active types, su ch as commands, which admit side-effecting behaviour, and passive types, su ch as expressions, which do not. (C) 1999 Elsevier Science B.V. All rights reserved.