Sciweavers

LICS
2009
IEEE

Applications of Game Semantics: From Program Analysis to Hardware Synthesis

13 years 10 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
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.
Dan R. Ghica
Added 24 May 2010
Updated 24 May 2010
Type Conference
Year 2009
Where LICS
Authors Dan R. Ghica
Comments (0)