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 条
12345