Number of items: 3.
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
This list was generated on Thu Dec 7 16:40:00 2023 GMT.