A System-Level Game Semantics

Game semantics is a trace-like denotational semantics for programming languages where the notion of legal observable behaviour of a term is defined combinatorially, by means of rules of a game between the term (the Proponent) and its context (the Opponent). In general, the richer the computational f...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 286; S. 191 - 211
Hauptverfasser:	Ghica, Dan R., Tzevelekos, Nikos
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 24.09.2012
Schlagworte:	Game semantics omnipotent opponent omniscient opponent Game semantics omnipotent opponent omniscient opponent
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!