Higher-Order and Symbolic Computation, Volume 21

Volume 21, Numbers 1-2, June 2008

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