| 1 | -- | 3 | Julia L. Lawall, Michael Leuschel, Peter Sestoft. Editorial |
| 5 | -- | 35 | Steve Barker, Michael Leuschel, Mauricio Varea. Efficient and flexible access control via Jones-optimal logic program specialisation |
| 37 | -- | 58 | Søren Debois. Imperative-program transformation by instrumented-interpreter specialization |
| 59 | -- | 88 | Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain. Proving operational termination of membership equational programs |
| 89 | -- | 118 | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi. A programmable editor for developing structured documents based on bidirectional transformations |
| 119 | -- | 146 | Jarle Hulaas, Walter Binder. Program transformations for light-weight CPU accounting and control in the Java virtual machine |
| 147 | -- | 192 | Claudio Ochoa, Josep Silva, Germán Vidal. Dynamic slicing of lazy functional programs based on redex trails |
| 193 | -- | 234 | Alberto Pettorossi, Maurizio Proietti. Totally correct logic program transformations via well-founded annotations |
| 235 | -- | 0 | Alberto Pettorossi, Maurizio Proietti. Totally correct logic program transformations via well-founded annotations |