Title :
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
Author_Institution :
Sch. of Comput. Sci., Univ. of Birmingham, Birmingham, UK
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.
Keywords :
finite state machines; formal specification; game theory; program diagnostics; programming language semantics; finite state model checking; game semantics; hardware design; hardware synthesis; higher order model checking; program analysis; Application software; Computer languages; Computer science; Context modeling; Hardware; Law; Legal factors; Logic; Processor scheduling; Terminology; game semantics; hardware compilation; hardware synthesis; program analysis; program verification;
Conference_Titel :
Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3746-7
DOI :
10.1109/LICS.2009.26
