2009 24th Annual IEEE Symposium on Logic in Computer Science 2009
DOI: 10.1109/lics.2009.26
|View full text |Cite
|
Sign up to set email alerts
|

Applications of Game Semantics: From Program Analysis to Hardware Synthesis

Abstract: After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in particular on finite state model checking, higher order model checking and more recent developments in hardware design. Chronology, methodology, ideologyGame Semantics is a denotational semantics in the conventional sense: for any term, it assigns a certain mathematical object as its meaning, which is constructed compositionally from the… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
13
0

Year Published

2010
2010
2023
2023

Publication Types

Select...
5
3
1

Relationship

4
5

Authors

Journals

citations
Cited by 26 publications
(13 citation statements)
references
References 79 publications
(78 reference statements)
0
13
0
Order By: Relevance
“…Our tutorial is meant to complement existing introductory literature to game semantics [1,8,19,16], which highlighted the then new structural components necessary to model higher-order computation, e.g. arenas, justification pointers, innocence.…”
Section: Structure Of the Tutorialmentioning
confidence: 99%
“…Our tutorial is meant to complement existing introductory literature to game semantics [1,8,19,16], which highlighted the then new structural components necessary to model higher-order computation, e.g. arenas, justification pointers, innocence.…”
Section: Structure Of the Tutorialmentioning
confidence: 99%
“…To enable the linking of system objects, we define a protocol based around the formal semantics of Game Semantics [6], though the semantics can also be understood at an intuitive level. A call to a function or primitive type is associated with four channels; a question channel (Q), which requests function execution; a parameter channel (P), which supplies arguments to the function; an answer channel (A), for indicating completion; and a data channel (D), for transferring returned data.…”
Section: Abstract Linking Of System Objectsmentioning
confidence: 99%
“…For example, game theoretic concepts have been applied to great effect in areas such as satisfiability, model checking, equivalence checking, synthesis and realizability, and control, amongst others (see, e.g., [5,8,16,18,39] for surveys). A common technique is to formulate a decision problem on a logical or mathematical structure S as a two-person zero-sum game, so that a particular player has a winning strategy in the game iff the structure S is a positive instance of the decision problem.…”
Section: Introductionmentioning
confidence: 99%