Richard Warburton

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Sara Kalvala, Richard Warburton
A Formal Approach to Fixing Bugs. SBMF (2011)
Sara Kalvala, Richard Warburton, David Lacey
Program transformations using temporal logic side conditions. ACM Trans. Program. Lang. Syst. 31 (4) (2009)
Richard Warburton, Sara Kalvala
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. CC (2009)