The Community for Technology Leaders
Logic in Computer Science, Symposium on (2009)
Los Angeles, California
Aug. 11, 2009 to Aug. 14, 2009
ISSN: 1043-6871
ISBN: 978-0-7695-3746-7
pp: 17-26
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.
INDEX TERMS
game semantics, program verification, program analysis, hardware compilation, hardware synthesis
CITATION
Dan R. Ghica, "Applications of Game Semantics: From Program Analysis to Hardware Synthesis", Logic in Computer Science, Symposium on, vol. 00, no. , pp. 17-26, 2009, doi:10.1109/LICS.2009.26
103 ms
(Ver 3.3 (11022016))