Number of items: 3.
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.
Kalvala, Sara, Warburton, Richard and Lacey, David
(2008)
Program transformations using temporal logic side conditions.
University of Warwick. Department of Computer Science.
(Unpublished)
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
This list was generated on Wed Apr 24 20:31:54 2024 BST.