The Library
Game semantics for interface middleweight Java
Tools
Tools
Tools
Murawski, Andrzej S. and Tzevelekos, Nikos (2014) Game semantics for interface middleweight Java. ACM SIGPLAN Notices, Volume 49 (Number 1). pp. 517-529. doi:10.1145/2535838.2535880
|
PDF
WRAP_Murawski_popl14_cr.pdf - Accepted Version - Requires a PDF viewer. Download (931Kb) | Preview |
Official URL: http://dx.doi.org/10.1145/2535838.2535880
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.
| Item Type: | Journal Item | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Java (Computer program language) -- Mathematical models, Programming languages (Electronic computers) -- Semantics, Game-theoretical semantics | ||||
| Journal or Publication Title: | ACM SIGPLAN Notices | ||||
| Publisher: | ACM | ||||
| ISSN: | 0362-1340 | ||||
| Official Date: | January 2014 | ||||
| Dates: |
|
||||
| Volume: | Volume 49 | ||||
| Number: | Number 1 | ||||
| Page Range: | pp. 517-529 | ||||
| DOI: | 10.1145/2535838.2535880 | ||||
| Status: | Peer Reviewed | ||||
| Publication Status: | Published | ||||
| Access rights to Published version: | Restricted or Subscription Access | ||||
| Date of first compliant deposit: | 27 December 2015 | ||||
| Date of first compliant Open Access: | 27 December 2015 | ||||
| Funder: | Engineering and Physical Sciences Research Council (EPSRC), Royal Academy of Engineering (Great Britain) | ||||
| Grant number: | EP/J019577/1 (EPSRC) | ||||
| Version or Related Resource: | Also published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (2014). New York : ACM. pp.517-528. 9781450325448. | ||||
| Embodied As: | 1 |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
