Efficient and flexible access control via Jones-optimal logic program specialisation Steve BarkerMichael LeuschelMauricio Varea OriginalPaper 12 April 2008 Pages: 5 - 35
Imperative-program transformation by instrumented-interpreter specialization Søren Debois OriginalPaper 15 April 2008 Pages: 37 - 58
Proving operational termination of membership equational programs Francisco DuránSalvador LucasXavier Urbain OriginalPaper 26 April 2008 Pages: 59 - 88
A programmable editor for developing structured documents based on bidirectional transformations Zhenjiang HuShin-Cheng MuMasato Takeichi OriginalPaper 16 April 2008 Pages: 89 - 118
Program transformations for light-weight CPU accounting and control in the Java virtual machine Jarle HulaasWalter Binder OriginalPaper 12 April 2008 Pages: 119 - 146
Dynamic slicing of lazy functional programs based on redex trails Claudio OchoaJosep SilvaGermán Vidal OriginalPaper 16 April 2008 Pages: 147 - 192
Totally correct logic program transformations via well-founded annotations Alberto PettorossiMaurizio Proietti OriginalPaper 12 April 2008 Pages: 193 - 234
Totally correct logic program transformations via well-founded annotations Alberto PettorossiMaurizio Proietti Erratum 23 May 2008 Pages: 235 - 235