Journal: Higher-Order and Symbolic Computation

Volume 21, Issue 1-2

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