2009

Kalvala, Sara, Warburton, Richard and Lacey, David (2009) Program transformations using temporal logic side conditions. ACM Transactions on Programming Languages and Systems, Volume 31 (Number 4). Article number 14. doi:10.1145/1516507.1516509 ISSN 0164-0925.

2008

Kalvala, Sara, Warburton, Richard and Lacey, David (2008) Program transformations using temporal logic side conditions. University of Warwick. Department of Computer Science. (Unpublished)

2006

Hammond, Simon D. and Lacey, David (2006) Loop transformations in the ahead-of-time optimization of Java bytecode. In: Mycroft, A. and Zeller, A., (eds.) Compiler Construction. Lecture Notes in Computer Science, Volume 3923 . Springer Berlin Heidelberg, pp. 109-123. ISBN 9783540330509