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] Integrating PDF interface into Java']Java application
    Lu, Quan
    Liu, Gao
    Chen, Jing
    LIBRARY HI TECH, 2014, 32 (03) : 495 - 508
  • [32] An Operational Semantics for Java']JavaScript
    Maffeis, Sergio
    Mitchell, John C.
    Taly, Ankur
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5356 : 307 - +
  • [33] JRes: A resource accounting interface for Java']Java
    Czajkowski, G
    von Eicken, T
    ACM SIGPLAN NOTICES, 1998, 33 (10) : 21 - 35
  • [34] Java']Java interface to human anatomy knowledge
    Cerveri, P
    Masseroli, M
    Pinciroli, F
    PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II, 2000, : A384 - A390
  • [35] The Java']Java native method interface and Windows
    Wilson, A
    DR DOBBS JOURNAL, 1997, 22 (08): : 46 - +
  • [36] The Java']Java virtual machine profiler interface
    Schmalenbach, C
    Höfig, C
    DR DOBBS JOURNAL, 2004, 29 (07): : 28 - 33
  • [37] Semantics of Asynchronous Java']JavaScript
    Loring, Matthew C.
    Marron, Mark
    Leijen, Daan
    ACM SIGPLAN NOTICES, 2017, 52 (11) : 51 - 62
  • [38] Efficient dispatch of Java']Java interface methods
    Alpern, B
    Cocchi, A
    Grove, D
    Lieber, D
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, 2001, 2110 : 621 - 628
  • [39] A Java']Java Interface for Roche Lobe Calculations
    Leahy, D. A.
    Leahy, J. C.
    ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS: XXIV, 2015, 495 : 503 - 505
  • [40] What is the Java']Java VM Profiler Interface?
    Wilson, A
    DR DOBBS JOURNAL, 1999, 24 (09): : 103 - 106
12345