Full abstraction for Idealized Algol with passive expressions

被引：22

作者：

Abramsky, S ^{[1
]}

McCusker, G ^{[1
]}

机构：

[1] Univ Edinburgh, Dept Comp Sci, Edinburgh EH9 3JZ, Midlothian, Scotland

来源：

THEORETICAL COMPUTER SCIENCE | 1999年 / 227卷 / 1-2期

关键词：

Algol-like languages; game semantics; full abstraction;

D O I：

10.1016/S0304-3975(99)00047-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A fully abstract games model of Reynolds' idealized Algol is described. The model gives a semantic account of the distinction between active types, such as commands, which admit side-effecting behaviour, and passive types, such as expressions, which do not. (C) 1999 Elsevier Science B.V. All rights reserved.

引用

页码：3 / 42

页数：40

共 50 条

[21] Full abstraction for PCF
Abramsky, S
Jagadeesan, R
Malacaria, P
INFORMATION AND COMPUTATION, 2000, 163 (02) : 409 - 470
[22] ABSTRACTION OF INVARIANT FACE EXPRESSIONS IN INFANCY
CARON, RF
CARON, AJ
MYERS, RS
CHILD DEVELOPMENT, 1982, 53 (04) : 1008 - 1015
[23] Simple force expressions for idealized saturable poles and wedges
OConnor, WJ
IEEE TRANSACTIONS ON MAGNETICS, 1997, 33 (03) : 2326 - 2332
[24] Full abstraction for polymorphic π-calculus
Jeffrey, Alan
Rathke, Julian
THEORETICAL COMPUTER SCIENCE, 2008, 390 (2-3) : 171 - 196
[25] General conditions for full abstraction
Parrow, Joachim
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016, 26 (04) : 655 - 657
[26] Full Abstraction for Reduced ML
Murawski, Andrzej S.
Tzevelekos, Nikos
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 32 - 47
[27] On Feller Continuity and Full Abstraction
Barthe, Gilles
Crubille, Raphaelle
Dal Lago, Ugo
Gavazzo, Francesco
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (ICFP):
[28] Full abstraction and the Context Lemma
Jim, T
Meyer, AR
SIAM JOURNAL ON COMPUTING, 1996, 25 (03) : 663 - 696
[29] Full Abstraction for Probabilistic PCF
Ehrhard, Thomas
Pagani, Michele
Tasson, Christine
JOURNAL OF THE ACM, 2018, 65 (04)
[30] Games and full abstraction for FPC
McCusker, G
INFORMATION AND COMPUTATION, 2000, 160 (1-2) : 1 - 61

← 1 2 3 4 5 →