Game Semantic Analysis of Equivalence in IMJ

@inproceedings{Murawski2015GameSA,
  title={Game Semantic Analysis of Equivalence in IMJ},
  author={Andrzej S. Murawski and Steven J. Ramsay and Nikos Tzevelekos},
  booktitle={ATVA},
  year={2015}
}
Using game semantics, we investigate the problem of verifying contextual equivalences in Interface Middleweight Java (IMJ), an imperative object calculus in which program phrases are typed using interfaces. Working in the setting where data types are non-recursive and restricted to finite domains, we identify the frontier between decidability and undecidability by reference to the structure of interfaces present in typing judgments. In particular, we show how to determine the decidability… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-8 OF 8 CITATIONS

Similar Papers

Loading similar papers…