Higher-Order and Symbolic Computation, Volume 21
Volume 21, Numbers 1-2, June 2008
- Steve Barker, Michael Leuschel, Mauricio Varea:
Efficient and flexible access control via Jones-optimal logic program specialisation. 5-35 - 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
Volume 21, Number 3, September 2008
- Christian H. Bischof, Paul D. Hovland, Boyana Norris:
On the implementation of automatic differentiation tools. 311-331 - Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan:
Flattening tuples in an SSA intermediate representation. 333-358
Volume 21, Number 4, December 2008
- Jeffrey Mark Siskind, Barak A. Pearlmutter:
Nesting forward-mode AD in a functional framework. 361-376