Richard Warburton

According to our database, Richard Warburton authored at least 4 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

A Formal Approach to Fixing Bugs.

Sara Kalvala, Richard Warburton

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

On the generation and analysis of program transformations.

Richard Warburton

PhD thesis, 2010

2009

Program transformations using temporal logic side conditions.

Sara Kalvala, Richard Warburton, David Lacey

ACM Trans. Program. Lang. Syst., 2009

From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.

Richard Warburton, Sara Kalvala

Proceedings of the Compiler Construction, 18th International Conference, 2009