Applications of Game Semantics: From Program Analysis to Hardware Synthesis

Research output: Contribution to conference (unpublished) › Paper

27 Citations (Scopus)

Original language	English
Pages	17-26
Number of pages	10
DOIs	https://doi.org/10.1109/LICS.2009.26
Publication status	Published - 14 Aug 2009
Event	Proceedings of 24th Annual IEEE Symposium on Logic In Computer Science (LICS 2009) - Duration: 14 Aug 2009 → …

Conference	Proceedings of 24th Annual IEEE Symposium on Logic In Computer Science (LICS 2009)
Period	14/08/09 → …

Access to Document

@conference{aac5f3d9e7be48168853b52f43427228,

title = "Applications of Game Semantics: From Program Analysis to Hardware Synthesis",

author = "Dan Ghica",

year = "2009",

month = aug,

day = "14",

doi = "10.1109/LICS.2009.26",

language = "English",

pages = "17--26",

note = "Proceedings of 24th Annual IEEE Symposium on Logic In Computer Science (LICS 2009) ; Conference date: 14-08-2009",

}