Output details
11 - Computer Science and Informatics
University of Bath
Output title
Imperative programs as proofs via game semantics
Type
E - Conference contribution
Name of conference/published proceedings
26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011
Volume number
-
Issue number
-
First page of article
65
ISSN of proceedings
1043-6871
Year of publication
2011
Number of additional authors
2
Additional information
<10>This research was further developed in Chuchill's PhD thesis. The logic described in the paper will be used to specify program behaviour in the £265k EPSRC funded project "Semantic Types for Verified Program Behaviour".
Paper appeared at LICS (rated 4th conference in the Microsoft rankings for algorithms and theory). A journal version has appeared in Annals of Pure and Applied Logic. (DOI 10.1016/j.apal.2013.05.005)
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-