Journal | Volume | Article

237278

Games in the semantics of programming languages

an elementary introduction

Jan Jürjens

pp. 131-158

Abstract

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

Published in:

Löwe Benedikt, Rudolph Florian (2002) Foundations of the formal sciences I. Synthese 133 (1-2).

Pages: 131-158

DOI: 10.1023/A:1020883810034

Full citation:

Jürjens Jan (2002) „Games in the semantics of programming languages: an elementary introduction“. Synthese 133 (1-2), 131–158.