Symbolic Representation of Algorithmic Game Semantics
Abstract
In this paper we revisit the regular-language representation of game semantics of second-order recursion free Idealized Algol with infinite data types. By using symbolic values instead of concrete ones we generalize the standard notion of regular-language and automata representations to that of corresponding symbolic representations. In this way terms with infinite data types, such as integers, can be expressed as finite symbolic-automata although the standard automata interpretation is infinite. Moreover, significant reductions of the state space of game semantics models are obtained. This enables efficient verification of terms, which is illustrated with several examples.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2012
- DOI:
- 10.48550/arXiv.1210.2454
- arXiv:
- arXiv:1210.2454
- Bibcode:
- 2012arXiv1210.2454D
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Computer Science and Game Theory;
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages
- E-Print:
- In Proceedings GandALF 2012, arXiv:1210.2028