Game Semantics for Interface Middleweight Java

Article Properties
  • Language
    English
  • DOI (url)
    10.1145/3428676
  • Publication Date
    2020/12/11
  • Journal
    Journal of the ACM
  • Indian UGC (journal)
  • Refrences
    44
  • Citations
    1
  • Andrzej S. Murawski University of Oxford, Oxford, UK
  • Nikos Tzevelekos Queen Mary University of London, London, UK
Abstract
Cite
Murawski, Andrzej S., and Nikos Tzevelekos. “Game Semantics for Interface Middleweight Java”. Journal of the ACM, vol. 68, no. 1, 2020, pp. 1-51, https://doi.org/10.1145/3428676.
Murawski, A. S., & Tzevelekos, N. (2020). Game Semantics for Interface Middleweight Java. Journal of the ACM, 68(1), 1-51. https://doi.org/10.1145/3428676
Murawski AS, Tzevelekos N. Game Semantics for Interface Middleweight Java. Journal of the ACM. 2020;68(1):1-51.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Science
Science (General)
Cybernetics
Information theory
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Lecture Notes in Computer Science 1999
10.1007/978-3-642-58622-4_1
10.1007/978-1-4419-8598-9
Proceedings of the ATVA (Lecture Notes in Computer Science)
Full abstraction for nominal general references. Log. Meth. Comput. Sci. 5, 3 2009
Citations
Title Journal Journal Categories Citations Publication Date
Verified compilation of C programs with a nominal memory model

 Proceedings of the ACM on Programming Languages
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
 1 2022
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software 1 is the most commonly referenced area in studies that cite this article.