Game semantics for interface middleweight Java
- Submitting institution
-
Queen Mary University of London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 426
- Type
- E - Conference contribution
- DOI
-
10.1145/2535838.2535880
- Title of conference / published proceedings
- Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- First page
- 517
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- January
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 5
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper introduced the first fully accurate mathematical model for an expressive fragment of the Java programming language, thus providing a robust theoretical basis for the analysis of object-oriented programs. It appeared in the flagship venue in theory of programming. It was one of the key theoretical outputs of the Royal Academy of Engineering Research Fellowship on 'Game Semantics for Program Analysis' (RF10216/111, Tzevelekos, 2011-2016, £446k) and formed the foundation for the EPSRC project on "Game Semantics for Java Programs" (EP/J019577/1, 2013-2015, £209k). Now published in the Journal of the ACM (2020)
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -