Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2014
DOI: 10.1145/2535838.2535880
|View full text |Cite
|
Sign up to set email alerts
|

Game semantics for interface middleweight Java

Abstract: 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
15
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
3
2

Relationship

3
2

Authors

Journals

citations
Cited by 8 publications
(15 citation statements)
references
References 32 publications
0
15
0
Order By: Relevance
“…We work on Interface Middleweight Java (IMJ), an imperative object calculus based on Middleweight Java [2] which was introduced and examined game semantically in [11]. Here we examine the finitary restriction of IMJ which excludes recursive datatypes and unbounded integers.…”
Section: Finitary Imjmentioning
confidence: 99%
See 4 more Smart Citations
“…We work on Interface Middleweight Java (IMJ), an imperative object calculus based on Middleweight Java [2] which was introduced and examined game semantically in [11]. Here we examine the finitary restriction of IMJ which excludes recursive datatypes and unbounded integers.…”
Section: Finitary Imjmentioning
confidence: 99%
“…If S(a) = (I, (V, M)) then we write S(a) : I, while S(a).f and S(a).m stand for V.f and M.m respectively, for each f, m. The transition relation is defined on terms within a state, that is, on pairs (S, M ) ∈ States × Terms, and is presented in full in [11].…”
Section: Finitary Imjmentioning
confidence: 99%
See 3 more Smart Citations