You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Bath » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Bath

Return to search Previous output Next output

Output 43 of 92 in the submission

Output title

Imperative programs as proofs via game semantics

Type

E - Conference contribution

DOI

10.1109/LICS.2011.19

Name of conference/published proceedings

26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011

Volume number

Issue number

First page of article

ISSN of proceedings

1043-6871

Year of publication

2011

URL

http://dx.doi.org/10.1109/LICS.2011.19

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract