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 条
  • [41] Exception analysis in the Java']Java Native Interface
    Li, Siliang
    Tan, Gang
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 89 : 273 - 297
  • [42] Java']Java Interface for Relaxed Object Storage
    Danihelka, Michal
    Kopecky, Michal
    Svec, Petr
    Zemlicka, Michal
    2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1459 - 1466
  • [43] Java']Java virtual machine profiler interface
    Viswanathan, D
    Liang, S
    IBM SYSTEMS JOURNAL, 2000, 39 (01) : 82 - 95
  • [44] Guide for configuration the Java']Java Native Interface
    Moreno Espino, Mailyn
    Ramos Guerra, Raymel
    Bacallao Leiva, Yilian
    REVISTA DIGITAL LAMPSAKOS, 2018, (19): : 73 - 76
  • [45] A resource management interface for the Java']Java™ platform
    Czajkowski, G
    Hahn, S
    Skinner, G
    Soper, P
    Bryce, C
    SOFTWARE-PRACTICE & EXPERIENCE, 2005, 35 (02): : 123 - 157
  • [46] ProjectCoding-Applied Game for Learning Java']Java
    Annunziata, Giusy
    Lambiase, Stefano
    Piro, Alessio
    Di Nucci, Dario
    Ferrucci, Filomena
    ARTIFICIAL INTELLIGENCE WITH AND FOR LEARNING SCIENCES, WAILS 2024, 2024, 14545 : XXV - XXVII
  • [47] Semantics-Driven Migration of Java']Java Programs: A Practical Application
    Aleksyuk, A. O.
    Itsykson, V. M.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2018, 52 (07) : 581 - 588
  • [48] Java']Java Interface for Scilab Based on the JLab Environment
    Wu, Lilan
    Gao, Jianling
    Xie, Xiaoyao
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION IN COMMUNICATION, 2009, : 588 - +
  • [49] JAVA']JAVA-based heterogeneous database interface
    ElRefai, MY
    Chang, DJ
    Elmaghraby, AS
    COMPUTERS AND THEIR APPLICATIONS: PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE, 1997, : 266 - 270
  • [50] Virtual Java']Java/FPGA interface for networked reconfiguration
    Ha, YJ
    Vanmeerbeeck, G
    Schaumont, P
    Vernalde, S
    Engels, M
    Lauwereins, R
    De Man, H
    PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, : 558 - 563
12345