Journal article icon

Journal article

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.
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
  • (Accepted manuscript, 790.7KB)
Publisher copy:
10.1145/3428676

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Association for Computing Machinery
Journal:
Journal of the ACM More from this journal
Volume:
68
Issue:
1
Article number:
4
Publication date:
2020-12-10
Acceptance date:
2020-10-01
DOI:
EISSN:
1557-735X
ISSN:
0004-5411
Language:
English
Keywords:
Pubs id:
1136359
Local pid:
pubs:1136359
Deposit date:
2020-10-07

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP