Game Semantics for Interface Middleweight Java']Java

被引：7
作者：
Murawski, Andrzej S. [1 ,2 ]
Tzevelekos, Nikos [3 ]
机构：
[1] Univ Warwick, DIMAP, Coventry CV4 7AL, W Midlands, England
[2] Univ Warwick, Dept Comp Sci, Coventry CV4 7AL, W Midlands, England
[3] Univ London, Sch Elect Engn & Comp Sci, London WC1E 7HU, England
来源：
ACM SIGPLAN NOTICES | 2014年 / 49卷 / 01期
关键词：
Full Abstraction; Game Semantics; Contextual Equivalence; !text type='Java']Java[!/text; FULL ABSTRACTION; PCF;
D O I：
10.1145/2535838
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We consider an object calculus in which open terms interact with the environment through interfaces. The calculus is intended to capture the essence of contextual interactions of Middleweight Java code. Using game semantics, we provide fully abstract models for the induced notions of contextual approximation and equivalence. These are the first denotational models of this kind.
引用
收藏
页码：517 / 528
页数：12
相关论文
共 50 条
  • [31] FIBRED PSEUDO DOUBLE CATEGORIES FOR GAME SEMANTICS
    Eberhart, Clovis
    Hirschowitz, Tom
    THEORY AND APPLICATIONS OF CATEGORIES, 2019, 34 : 514 - 572
  • [32] Compositional Predicate Abstraction from Game Semantics
    Bakewell, Adam
    Ghica, Dan R.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 62 - 76
  • [33] May & must-equivalence of shared variable parallel programs in game semantics
    Watanabe, Keisuke
    Nishimura, Susumu
    IPSJ Online Transactions, 2012, 5 (2012) : 167 - 176
  • [34] Deconstructing General References via Game Semantics
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 241 - 256
  • [35] Game semantics approach to higher-order complexity
    Feree, Hugo
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 87 : 1 - 15
  • [36] A Game Semantics for System P
    Marti, J.
    Pinosio, R.
    STUDIA LOGICA, 2016, 104 (06) : 1119 - 1144
  • [37] ActorGame: Game Semantics for Actors
    Wang, Yong
    Dai, Guiping
    2013 FOURTH GLOBAL CONGRESS ON INTELLIGENT SYSTEMS (GCIS), 2013, : 5 - 10
  • [38] Game Semantics for Access Control
    Abramsky, Samson
    Jagadeesan, Radha
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 135 - 156
  • [39] Compositional relational reasoning via operational game semantics
    Jaber, Guilhem
    Murawski, Andrzej S.
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [40] A game semantics of names and pointers
    Laird, J.
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 151 (2-3) : 151 - 169
12345