Game Semantics for Interface Middleweight Java
- 11 December 2020
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 68 (1), 1-51
- https://doi.org/10.1145/3428676
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.Keywords
Funding Information
- Royal Academy of Engineering
- Engineering and Physical Sciences Research Council (EP/J019577/1)
This publication has 34 references indexed in Scilit:
- Full abstraction for Reduced MLAnnals of Pure and Applied Logic, 2013
- Game semantics for a polymorphic programming languageJournal of the ACM, 2013
- A System-Level Game SemanticsElectronic Notes in Theoretical Computer Science, 2012
- Fresh-register automataACM SIGPLAN Notices, 2011
- On notions of regularity for data languagesTheoretical Computer Science, 2010
- A fully abstract may testing semantics for concurrent objectsTheoretical Computer Science, 2005
- Probabilistic game semanticsACM Transactions on Computational Logic, 2002
- Full Abstraction for PCFInformation and Computation, 2000
- On Full Abstraction for PCF: I, II, and IIIInformation and Computation, 2000
- Premonoidal categories and notions of computationMathematical Structures in Computer Science, 1997