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

Output details

11 - Computer Science and Informatics

Queen Mary University of London

Return to search Previous output Next output

Output 25 of 83 in the submission

Output title

Fresh-Register Automata

Type

E - Conference contribution

DOI

10.1145/1926385.1926420

Name of conference/published proceedings

POPL 11: Proceedings of the 38TH Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Volume number

Issue number

First page of article

295

ISSN of proceedings

Year of publication

2011

URL

http://dl.acm.org/citation.cfm?id=1926420

Number of additional authors

Additional information

<10>The paper introduces a new class of abstract machines which are able to capture resource-generating computation, thus providing the first algorithmic framework for modelling dynamic programs with generative effects. This work led to two important subsequent publications (European Symposium on Programming 2011 and International Colloquium on Automata, Languages and Programming 2012) co-authored by Murawski (Warwick). Jointly with game semantics, the technology developed here is currently being applied in my Royal Academy of Engineering Research Fellowship "Game Semantics for Program Analysis" (bit.ly/1fyqy05, see 2011-2016) and in the collaborative EPSRC project "Game Semantics for Java Programs" (EP/J019577/1, 2012).

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract