Richard Warburton

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Richard Warburton, Sara Kalvala: From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. CC 2009: 17-31

1 Sara Kalvala, Richard Warburton, David Lacey: Program transformations using temporal logic side conditions. ACM Trans. Program. Lang. Syst. 31(4): (2009)

	2009
2		Richard Warburton, Sara Kalvala: From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. CC 2009: 17-31
1		Sara Kalvala, Richard Warburton, David Lacey: Program transformations using temporal logic side conditions. ACM Trans. Program. Lang. Syst. 31(4): (2009)

Coauthor Index

1 Sara Kalvala (Saraswati Kalvala) [1] [2]

2 David Lacey [1]