goto the department home page
-----
Publications
Contact
 -----

Papers

Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
Simon Hammond and David Lacey
April 2006
abstract postscript pdf BiBTeX 
Compiler optimization correctness by temporal logic
David Lacey, Neil Jones, Eric Van Wyk and Carl Christian Frederikson
June 2004
abstract postscript pdf BiBTeX 
Program Transformation using Temporal Logic Specifications - PhD Thesis
David Lacey
August 2003
abstract postscript pdf BiBTeX 
Proving Correctness of Compiler Optimisations
David Lacey, Neil Jones, Eric Van Wyk and Carl Christian Frederikson
July 2001
abstract postscript pdf BiBTeX 
Universal Regular Path Queries
Oege de Moor, David Lacey and Eric Van Wyk
May 2001
abstract postscript pdf BiBTeX 
Imperative program transformation by rewriting
David Lacey, Oege de Moor
October 2000
abstract postscript pdf BiBTeX 
Logic Program Synthesis in a Higher Order Setting
David Lacey, Julian Richardson, Alan Smaill
March 2000
abstract postscript pdf BiBTeX 

Talks

Imperative program transformation by rewriting
David Lacey
Dec 00
pdf 
-----
Copyright, David Lacey, 2006.