Synthese 133 (1-2):131-158 (2002)
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.
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Symmetry and Interactivity in Programming.P. -L. Curien - 2003 - Bulletin of Symbolic Logic 9 (2):169-180.
Rules in Programming Languages and Networks.Frederick R. Adams, Kenneth Aizawa & Gary Fuller - 1992 - In J. Dinsmore (ed.), The Symbolic and Connectionist Paradigms: Closing the Gap. Lawrence Erlbaum.
Towards Situation-Oriented Programming Languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - Philosophical Explorations.
Added to index2009-01-28
Total downloads39 ( #126,828 of 2,146,924 )
Recent downloads (6 months)18 ( #25,347 of 2,146,924 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.