Richard Warburton

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

A Formal Approach to Fixing Bugs.

[BibT_eX]

[DOI]

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

2010

On the generation and analysis of program transformations.

[BibT_eX]

[DOI]

PhD thesis, 2010

2009

Program transformations using temporal logic side conditions.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2009

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

[BibT_eX]

[DOI]

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