Logic in Computer Science, Symposium on (2009)
Los Angeles, California
Aug. 11, 2009 to Aug. 14, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2009.26
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.
game semantics, program verification, program analysis, hardware compilation, hardware synthesis
D. R. Ghica, "Applications of Game Semantics: From Program Analysis to Hardware Synthesis," Logic in Computer Science, Symposium on(LICS), Los Angeles, California, 2009, pp. 17-26.