Photo of Billiejoe CharltonBilliejoe Charlton

Selected publications

Article

Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Symbolic execution proofs for higher order store programs. Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433

Charlton, Nathaniel and Reus, Bernhard (2013) Specification patterns for reasoning about recursion through the store. Information and Computation, 231. pp. 167-203. ISSN 0890-5401

Book Section

Charlton, Nathaniel, Horsfall, Ben and Reus, Bernhard (2012) Crowfoot: a verifier for higher-order store programs. In: Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, 7148 . Springer, pp. 136-151. ISBN 978-3-642-27940-9