Game semantics for interface middleweight Java

Game semantics for interface middleweight Java
复制标题

DOI：
10.1145/2535838.2535880
复制
发表时间：
2014-01
期刊：
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
通讯作者：
A. Murawski;N. Tzevelekos
A. Murawski;N. Tzevelekos
中科院分区：
其他
文献类型：
--
作者：
A. Murawski;N. Tzevelekos

文献摘要

被引文献

相似文献

我们考虑一个对象微积分，其中开放性通过接口与环境相互作用。演算旨在捕获中量Java代码的上下文相互作用的本质。使用游戏语义，我们为感应的上下文近似和等效概念提供了完全抽象的模型。这些是此类的第一个典型模型。
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.