Game semantics for interface middleweight Java

Article Properties
  • Language
    English
  • DOI (url)
    10.1145/2578855.2535880
  • Publication Date
    2014/01/08
  • Journal
    ACM SIGPLAN Notices
  • Indian UGC (journal)
  • Refrences
    26
  • Andrzej S. Murawski University of Warwick, Coventry, United Kingdom
  • Nikos Tzevelekos Queen Mary University of London, London, United Kingdom
Abstract
Cite
Murawski, Andrzej S., and Nikos Tzevelekos. “Game Semantics for Interface Middleweight Java”. ACM SIGPLAN Notices, vol. 49, no. 1, 2014, pp. 517-28, https://doi.org/10.1145/2578855.2535880.
Murawski, A. S., & Tzevelekos, N. (2014). Game semantics for interface middleweight Java. ACM SIGPLAN Notices, 49(1), 517-528. https://doi.org/10.1145/2578855.2535880
Murawski AS, Tzevelekos N. Game semantics for interface middleweight Java. ACM SIGPLAN Notices. 2014;49(1):517-28.
Refrences
Title Journal Journal Categories Citations Publication Date
10.1007/3-540-48737-9 1999
Theoretical Aspects of Object Oriented Programming 1994
Full abstraction for nominal general references. Logical Methods in Computer Science, 5(3) 2009
Proceedings of FOOL/WOOD 2007
Logic and Computation: Marktoberdorf Proceedings 1998