| 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) | |
| 1 | Sara Kalvala (Saraswati Kalvala) | [1] [2] |
| 2 | David Lacey | [1] |