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:
-
-
(Preview, Accepted manuscript, 790.7KB, Terms of use)
-
- Publisher copy:
- 10.1145/3428676
Authors
- 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
- Copyright holder:
- Andrzej S Murawski and Nikos Tzevelekos
- Copyright date:
- 2020
- Rights statement:
- © 2020 Copyright held by the owner/author(s). Publication rights licensed to ACM.
- Notes:
- This is the accepted manuscript version of the article. The final version is available online from the Association for Computing Machinery at: https://doi.org/10.1145/3428676
If you are the owner of this record, you can report an update to it here: Report update to this record