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 条
  • [1] Game Semantics for Interface Middleweight Java']Java
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    JOURNAL OF THE ACM, 2021, 68 (01)
  • [2] Algorithmic probabilistic game semantics
    Kiefer, Stefan
    Murawski, Andrzej S.
    Ouaknine, Joel
    Wachter, Bjoern
    Worrell, James
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 285 - 312
  • [3] Game semantics for dependent types
    Vakar, Matthijs
    Jagadeesan, Radha
    Abramsky, Samson
    INFORMATION AND COMPUTATION, 2018, 261 : 401 - 431
  • [4] DISENTANGLING PARALLELISM AND INTERFERENCE IN GAME SEMANTICS
    Castellan, Simon
    Clairambault, Pierre
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (03)
  • [5] Game Semantics for a Polymorphic Programming Language
    Laird, J.
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 41 - 49
  • [6] Dynamic game semantics
    Yamada, Norihiro
    Abramsky, Samson
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (08) : 892 - 951
  • [7] Game Semantics for Quantum Programming
    Clairambault, Pierre
    De Visme, Marc
    Winskel, Glynn
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [8] From CSP to Game Semantics
    Abramsky, Samson
    REFLECTIONS ON THE WORK OF C A R HOARE, 2010, : 33 - 45
  • [9] Game Semantics for a Polymorphic Programming Language
    Laird, J.
    JOURNAL OF THE ACM, 2013, 60 (04)
  • [10] A game semantics for disjunctive logic programming
    Tsouanas, Thanos
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) : 1144 - 1175
12345