Repository | Journal | Volume | Articles

(2002) Synthese 133 (1-2).
Mathematical models are an important tool in the development ofsoftware technology, including programming languages and algorithms.During the last few years, a new class of such models has beendeveloped based on the notion of a mathematical game that isespecially well-suited to address the interactions between thecomponents of a system. This paper gives an introduction to thesegame-semantical models of programming languages, concentrating onmotivating the basic intuitions and putting them into context.
Publication details
Full citation:
Jürjens, J. (2002). Games in the semantics of programming languages: an elementary introduction. Synthese 133 (1-2), pp. 131-158.
This document is unfortunately not available for download at the moment.