DocumentCode
3257861
Title
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
Author
Ghica, Dan R.
Author_Institution
Sch. of Comput. Sci., Univ. of Birmingham, Birmingham, UK
fYear
2009
fDate
11-14 Aug. 2009
Firstpage
17
Lastpage
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.
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on
Conference_Location
Los Angeles, CA
ISSN
1043-6871
Print_ISBN
978-0-7695-3746-7
Type
conf
DOI
10.1109/LICS.2009.26
Filename
5230598
Link To Document