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 条
  • [21] Abstract machines for game semantics, revisited
    Fredriksson, Olle
    Ghica, Dan R.
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 560 - 569
  • [22] The concurrent game semantics of Probabilistic PCF
    Castellan, Simon
    Clairambault, Pierre
    Paquet, Hugo
    Winskel, Glynn
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 215 - 224
  • [23] Grounding Game Semantics in Categorical Algebra
    Koenig, Jeremie
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 368 - 383
  • [24] Nondeterminism in Game Semantics via Sheaves
    Tsukada, Takeshi
    Ong, C. -H. Luke
    2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 220 - 231
  • [25] Least and Greatest Fixpoints in Game Semantics
    Clairambault, Pierre
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 16 - 31
  • [26] Game Semantics for Constructive Modal Logic
    Acclavio, Matteo
    Catta, Davide
    Strassburger, Lutz
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 428 - 445
  • [27] A Mathematical Game Semantics of Concurrency and Nondeterminism
    Gutierrez, Julian
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 597 - 607
  • [28] A game semantics for Grz
    Mezhirov, Ilya
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (05) : 663 - 669
  • [29] Estimation of the Length of Interactions in Arena Game Semantics
    Clairambault, Pierre
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, 2011, 6604 : 335 - 349
  • [30] Imperative programs as proofs via game semantics
    Churchill, Martin
    Laird, Jim
    McCusker, Guy
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) : 1038 - 1078
12345