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

Output details

11 - Computer Science and Informatics

University of Birmingham

Return to search Previous output Next output

Output 39 of 157 in the submission

Output title

Clipping: A Semantics-Directed Syntactic Approximation

Type

E - Conference contribution

DOI

10.1109/LICS.2009.25

Name of conference/published proceedings

Proceedings of 24th Annual IEEE Symposium on Logic In Computer Science (LICS 2009)

Volume number

Issue number

First page of article

189

ISSN of proceedings

Year of publication

2009

URL

Number of additional authors

Additional information

<10>LICS is the leading international conference in theoretical computer science (logic and semantics). This paper belongs in a long and productive line of research which established me as an international leader in software verification using game semantics. It has contributed to me being an invited speaker at LICS’09 (another invited speaker was Ed Clarke) and programme committee member for LICS’10. The importance of games-based software verification, to which this paper contributed, was further recognized by the award of the EPSRC grant “UBIVAL: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures” (2010, £455k) on which I was a co-investigator.

Interdisciplinary

Cross-referral requested

Research group

G - Theory of Computation

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract