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
    [J]. JOURNAL OF THE ACM, 2021, 68 (01)
  • [2] K-Java']Java: A Complete Semantics of Java']Java
    Bogdanas, Denis
    Rosu, Grigore
    [J]. ACM SIGPLAN NOTICES, 2015, 50 (01) : 445 - 456
  • [3] Specification and static enforcement of scheduler-independent noninterference in a middleweight Java']Java
    Iranmanesh, Zeinab
    Fallah, Mehran S.
    [J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2016, 46 : 20 - 43
  • [4] Coalgebras and monads in the semantics of Java']Java
    Jacobs, B
    Poll, E
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 291 (03) : 329 - 349
  • [5] A monad for basic Java']Java semantics
    Jacobs, B
    Poll, E
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 150 - 164
  • [6] Dynamic semantics of Java']Java bytecode
    Bertelsen, P
    [J]. FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
  • [7] Game over for Java']Java
    Birken, M
    [J]. DR DOBBS JOURNAL, 2001, 26 (11): : 12 - 12
  • [8] Extending operational semantics of the Java']Java bytecode
    Czarnik, Patryk
    Schubert, Aleksy
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
  • [9] Structural Operational Semantics of Packages in Java']Java
    Al Farook, Abdullah
    Arefin, Mohammad Shamsul
    Hoque, Md. Moshiul
    [J]. 2008 11TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY: ICCIT 2008, VOLS 1 AND 2, 2008, : 563 - 568
  • [10] A Java']Java Inspired Semantics for Transactions in SOC
    Bocchi, Laura
    Tuosto, Emilio
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2010, 6084 : 120 - 134
12345